perm filename EKL.PRS[1,JMC] blob sn#541133 filedate 1980-10-12 generic text, type T, neo UTF8
!SiTh"SJBλ∧α+⊂)DH"λεβ_'∩(⊂(t()Pd¬⊂"Pdα(⊂(t(⊂λ∧∧ "Th5⊂$T
DH'SH3_εβλ⊂εβ_(3_εβ_⊂εβ_Dα⊂λ∧α⊂λλFx1]-V(7≥↔ 4[mb3≠n""RiCP⊂⊂$∧h0]
ε(6X.FH1X-F`<H	w⊂4Y-g 2Y∧¬9≠mv0⊂⊂mε(1ZlW⊂!Lεβ_
Dβ_εβ_⊂λ∧α⊂λ∧α:~R2ZmB4[NF(9≤∞&(:→.$__εβλ_λεβ_εB⊂λ∧α⊂λ∧π 4→$ε`0[Lw(0YlR1X-b1→$ε(<≥Vp2→,B0[
B:~R;X/∩:≠dε04[M↔ 2H
w⊂2→."8≤LV 4Xl↔ 2H
Fx3Z,4__εβλ~λεβ_εR⊂λ∧α⊂λ∧ε82[LW⊂0[∧π⊂2[,↔⊂5\dεx7λ∞F@2H∞7H7≥↔@≥⊂fβ_&R_εβ≠λ∧α⊂λ∧α⊂≠-w⊂2H
vp⊂≤
v`<[-w⊂8~
⊗_⊂≥∂↔2\dπ0\L⊗h2]∞&H=→,B:≡.ε(⊂→V_6_.&λ:~-vp9Pfβ_'α_εβ≠H∧α⊂λ∧α⊂→lVp2\L⊗`⊂≥m↔_2≠mR0XMw(:λF(1[↔⊂0]
⊗x7≤dελ7→∧π 4→-↔⊂⊂→Mw⊂6\h3_ε#λ⊂εβ_∞∧α⊂λ∧α⊂λF(1[↔⊂4[Lr3≥-F`<H↔_9[l6H0]
↔02H
w2\L↔ 7\N4__εβ⊂≤Hεβ_π∩⊂λ∧α⊂λ∧π_7\NFH7→dεH7λVX6⊂fβ_fR_εβλ_λ∧α⊂λ∧α⊂≠
v84Xl⊗`⊂≤NV`2\h3_ε3H⊂εβ_L$α⊂λ∧α⊂λ∞'(6→.23≠n"1[mfp2XnFH;→.27YDελ9~.GH⊂π$β⊂!Lεβ~$β_ε∪⊂⊂λ∧α⊂λ∧α7→,vλ:~-vp⊂≤NV`2\h3_εC⊂⊂εβ_Ldα⊂λ∧α⊂λ∞↔(0[NFH3~,6λ:~-vp0[∧π⊂:[W_!Lεβ~
Dβ_ε∪ ⊂λ∧α⊂λ∧α1[mVh0[LB9↑-g 0↑∧ε07\Dε(5[λ3_εCH⊂εβ_M$α⊂λ∧α⊂λλ6x6[,⊗p2≤dε07\Dπ9≠mv0⊂≠,⊗p4\∞V`0]
⊗x7⊂fβ_
&"_εβλ≠λ∧α⊂λ∧α⊂⊂.π6≡-⊗p3H∞π⊂7[lg_⊂≥
r7]
ε(9λ∞π⊂7[lg_⊂_-f ⊂→W_1\M↔:~-vp⊂≠lb:~R3[l⊗`⊂≤nG⊂:XnG(9~-f8!Lεβ~MDβ_ε∪8⊂λ∧α⊂λ∧α1[mg 9≠mB`⊂~-r0[LB2[NfH9≠mfh2[NB4[N↔(4\M⊗(9Pfβ_
F"_εβλ≤λ∧α⊂λ∧α⊂≥Vh8≠↔ 2\dε07\Dπ 4→$ε`4[LR6X-fH8≥-Fλ:~-vp⊂_mvh6X-f 9Pfβ_
Fr_εβλ≤H∧α⊂λ∧α⊂~-g 2\Mfλ6λfx9≠.23≠n":→.&h9H⊗p2λ∞6x6Y$π(9Y,g(6λ
FH9\∧ε0:[L7 4[mg_⊂_-f ⊂≠,⊗_9≠n23≠n":~Vh!Lεβ≤
d∧('⊃	TX!EG0wαv}x1πN∂ 5␈␈xxπ=`X[{l	Pxε=`X[{kq0xβ≥`X[{kY⊂x∀]`X[{k@px	⎇`X[{k(Px↔≥`X[{k⊂0x]`X[{jx⊂x∪≥`X[{j←px⊃=`X[{jGPx∞=`X[{j/0xλ]`X[{j↔⊂xλ=`X[{i}px
]`X[{ifPxλ]`X[{iN0x
]`X[{i6⊂x
]`X[{i≥px⎇`X[{i¬Px⊗⎇`X[{hm0x∞=`X[{hU⊂x⊂≥`X[{h<px↔⎇`X[{h$Pxβ≥`X[{h0x⎇`X[{gt⊂ α≥`↓;80u`∩@X εp"≠l7(6Y-g 0]
⊗x7λfx9λλTX&∞D∧λ⊂∪,↔ 4→-Vλ:~,6λ6≠∂∩'\M⊗(7≥V ⊂∀∞&x7YD∧_4→,6X2\D∧ 2\l7⊂4\∞FH7[Dεx3λ⊗p⊂~-g 2\L⊗_:~.f(⊂≤∞&x7YDε_4→,6X2\Dελ7→∧ε_7[N7 9≥,7 7\Ee 4→$εh0Z-b9]∞&(9\dεH9H
vp⊂≥
ε(⊂→,↔_2H
v0⊂~-g 2\L⊗_:~-vp⊂_-f ⊂→/π9→.7_4[mb7YDεh0]
ε(6X.FH1X-B3_,7 9KD∧(%S∧εH9H∞72Xm⊗04Xl⊗`6≡$ε 2\m⊗87→,B:≠dεh0[M↔:[↔ 2H∞π⊂7[lg_⊂_-f ⊂≥
r4_-f 6→.6(;→.&λ6λ∞π⊂7[lg_⊂_.B:~R9X-V(⊂≥
⊗h2KH∩8≤Mvx3λ
⊗p⊂⊃)4`⊂_mvp9Z.7 9H
v0⊂≠
⊗p2\eb"X,6@⊂≠
⊗p2H
⊗p⊂_$π9≠mv0⊂~.20H∞&(9]-G 7YDελ⊂_mvh6X-f ↔∃
ε(9→$ελ9→$π_2]LW⊂0[∧ε 4YLf(9→-g ⊂≥∂↔2\dεx3λ
FH7→.3P⊂λ∧α⊂λ∧α⊂λ∧α@_J$ε_7[-V(7≥∧ε`4[LW_⊂λ∧α⊂λ∧α⊂λ∧α@→
$ε`4[LW_⊂≥
ελ:λ∞&(9]-G ⊂→N&x6HF(1[↔⊂0]
⊗x7≤g":~W_2H
ελ;→$π 4→$α⊂λ∧α⊂λ∧α⊂λ∧α⊂→,f02XnB7YDπ_2]∞FH7→dπ 4→$ε_7[NF(<≥∧εx3λ∩6~-f(⊂λ∧α⊂λ∧α⊂λ¬β_∀H
FH7→.2:~↔ ⊂≠L⊗h2Hw⊂7].π_⊂≠lb7]
ε(9λ
FH7→.2≥λ∞F@2\lR9Y.B⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∞F@2H
FH7→.&λ7→lR1[mg 2↑∞B7YDελ⊂≠
⊗p2KDα⊂λ∧α⊂λ∧α⊂λ∧α:~R6~-f(9_-f82H6x7≥W@:λ
v0⊂_$ε`4[LR4\dελ:]
vh0]
⊗_0[
GH⊂~-f@2\M↔ 2Y∧α⊂λ∧α⊂λ∧α⊂λ∧α3≤Mvh⊂≥
ε(⊂≤∞&(;~-w(9H
FH7→$π(7≠W_9H∞F@2H7(9≤LVp:λ6x6[,⊗p2λ∧α⊂λ∧α⊂λ∧α⊂λ∧α6X-fH8≥-Fλ:→.27_-V(9H
v0⊂≠
⊗p2H∞&λ7→lW_↔λ∧α⊂λ∧α⊂λ∧α@~
$ε`4[LW_⊂≤LW_:[∞FH7→dε09≠mR7]
ε(9λ6x6[,⊗p2≤g";Y$ε_0[Dε_4]R7]
ε(9λ
FH7→.2⊂λ∧α⊂λ∧α⊂λ∧α⊂~-b7\LF(9λ∞Fx⊂≥.6(⊂≥
ε(6H↔_⊂→W2[LF(7_m⊗(9H⊗p2λ∞Fx⊂≤lW ⊂≥
ε(⊂_mvp:→/π ⊂λ∧α⊂λ∧α⊂λ∧α⊂λ
v0⊂≥
ε(⊂≠
⊗p2H
⊗p⊂≤.V(9]
⊗x7Dα⊂λ∧α⊂λ∧α⊂λ∧α;Y$π_4_-F`⊂_l⊗`6λ
FH7→.27YDπ 4~.2:≡.ε(⊂→Mw⊂6]-Fλ6~-f(9Ndα⊂λ∧α⊂λ∧α⊂λ∧α:~WH⊂_-G80↑.24[Nfx6≥LR3≠n&h:[↔_"X,6@⊂≠
⊗p2H
ελ9H↔_9[l6H0]V ⊂≥
r4]∧εH:≤dεp0[,W⊂0[Lv(1[mg 2↑∞B`⊂~.G_1[mg 2↑∞B0[LB4]∞22→.ε(7→Vp1Z,W_↔∃
ε(⊂_mvp:→/π ⊂≠lb0H
f(;Hfx9≠.V`0[
⊗p2H
↔_⊂≤lW ⊂_.23≠mF`7]n3P+Y$ε04\N7 ⊂≠lb0[
B1[mV⊂4[LR:~R1[mg 2↑∞G_⊂≠lb:~R1Z.F(2λ
FH7→.2p$YDελ7λ
⊗p1[mW0]
⊗⊂4[
↔ <H∞G(9≠N2:\¬B:~R1[mVh0[LB4\dελ1≠n' 2Y¬e 4~.21[mg 2↑∞B4\dπ 4→-b1[mV⊂4[LV ⊂≥m↔ 4λ∞F@2H7(9≤LVp:≠∂∩0XnFH;→$ε86≠l&λ6λ6x7≥W@:∞nF@:\dεH3λ
fx⊂≠
⊗p2\dελ9→$ε_4]V ⊂≥lR2→,fλ:[∞B:≠dπ 4→$π9→.fH7].23[
v⊂0[∧ε_7[NF(<≥¬d04[L⊗`6≡%B:~R1[mg 2↑∞B7YDπ 4→$ε`4[LR4\dπ 4→$π_2]∧εx3λ⊗`6λF(1[↔⊂0]
⊗x7≤dεH7λ∞F@4\lv`7XL⊗`⊂_mvp:→/π ⊂≠lb:~R0]
vh9H
v_1].'⊂4[Lr4[Dπ 4→$ε`4[LRpwαv}x1πN∂ 5␈␈xx∂]`X[{l	Px=`X[{kq0x∂≥`X[{kY⊂x⊂≥`X[{k@px∧⎇`X[{k(Px=`X[{k⊂0x∂⎇`X[{jx⊂xλ≥`X[{j←px⊂]`X[{jGPxβ=`X[{j/0x≥`X[{j↔⊂xπ≥`X[{i}px⊂]`X[{ifPx
=`X[{iN0x⊂≥`X[{i6⊂x]`X[{i≥px∩≥`X[{i¬Px⊂≥`X[{hm0x⎇`X[{hU⊂x∩]`X[{h<px∩=`X[{h$Px	]`X[{h0x∂≥`X[{gt⊂x
]`X[{g[px≥`X[{gCPx∞≥`X[{g+0xπ=`X[{g∪⊂x≥`X[{fzpx⎇`X[{fbPx≥`X[{fJ0x∞≥`X[{f2⊂x
⎇`X[{f→px⊃⎇`X[{f↓Px⊃=`X[{ei0x⊃⎇`X[{eQ⊂x]`X[{e8p β∨↓;80u`∩@X 
⊂:~R2ZmB4[NF(9≤∞&(:→.' 4→$π 7\∧ε`2]LV`⊂≠lb2ZmB4\dε`4\nβX:~
↔_⊂~.20H∞&(0Y¬v(;_-Bx8≤M⊗p:λ
Fx7\¬fH7λfλ1]¬B:~
↔_⊂~.22\n6(7≥
⊗λ6≠∂∩:~R6X,6`4\nα9→,⊗ ↔Y.fλ6nπ⊂4[NB6≠mw⊂≥m↔ 4λ∩1X.F_4→Mw⊂⊂→W⊂4]L↔ 4[mb2\N&x9≤g":~R⊃_mvh6X-f 9HDε84]LVp⊂≥
r2ZmB0\LR9Z-W6≡$π_⊗Y/π9→.7_4[mg_:~↔ ⊂_.&(⊂≥
r1→$ε(;_-G(0]V ⊂_-f ⊂≥
ε(9→$εH9H
fx⊂→
⊗03→.&(7_lR1→.G82Y-b:~W_2H⊗p2λ
w 4→.'_⊗Y/π9→.7_4[mg_≥λ∞v(⊂_l⊗p⊂→V04[LR3≥-f_:~-vp9HW 1KDε(:_eg 4→$π(9Y."4\dε84]LVp⊂_$π_2]∧εx3λ∞&x:]
⊗p2\dπ 7H
Vλ7~.π(6_.F(⊂_-f ⊂_,6_2\n2∀≥M⊗λ⊂_mw4Y.2H8≤Mvx3≤g27]
ε(9λ∞F@0[Dπ 4_.B:~R8≤Mvx3≤dελ9→$εp7]∧ελ1XlW_9Z,&`2H¬R:~R7[MGH⊂~⊗p2≠Vx7→$ε@0\dεx7λ∩8≤Mvx3λ
↔_⊂~.G_⊂≠L⊗h2KDπ 4~.28≤Mw 2XnG_⊂≥
ε(⊂~-g 2Yn&H:≡$εx3λ∞F@2HFλ:_%f07\Dπ 4→$ε_7[Nf(7~-f(7_lR7YDπ 4→$π(9Y."`⊂≥lR4_.f(⊂≤↔⊂9Z-f8≥→M↔⊂9]∧εx3λ⊗`6λ∞F@2\LR4\dπ 4→$ε0:[L7 4[mg_⊂≤lW :≤MR;Z
⊗_4λFx2\dπ 4→$ε07[
Fx;Z-f8≥λ∧α⊂λ∧α⊂λ∧α@9Y.G 9≠$π@⊂∂∞Vp8_.'_2Y∧ε07\MSp⊂∂6x7≥W@:≠
⊗p2\gbH8_.'_2\dπ 4→$ε07\MR0[LB9Y.G_⊂≥
ε(⊂≥L⊗`:Y$εx3λ∂α:≠dπ 4→$π⊂2\nV`:NF@2H6x7≥W@:≠
⊗p2\dεH9H
w:~-vp0[π"4YDεH:λ
↔_⊂≠mVH:≥V ⊗λ∞F@2H7(9≤LVp:λ6x7≥W@:λ
↔_⊂_.7_:[,V ↔≤↔⊂9Z-f8⊂≠,↔H⊂_-G_7H
ελ8≤Vp⊂≥.εx7λVp:≤L⊗p1Y$π 7H∞π⊂7[lb6X-fH8≥-Fλ:~-vp⊂≤Mw(:~-f(9H
FH5Y FH⊂→.F_↔≥lR1X-b0[∞6x⊂≤↔⊂9Y$π <\W_⊂_-f ⊂≤nG⊂4[Lw_⊂≤
vH7≥
⊗p3H↔ ⊂→Mw⊂6]-Fλ9H
⊗p⊂_$π_4[-⊗`0\Dεh0[Mf(9Eε`4\nα3≥-f_:~-vp9H∞6@0[
B1→$π9≠nfH2→,B:~↔ ⊂_-F`7]dεx7→$π 7H∞εx4[NB:≠dα0\L&H9_.'H⊂≤nV⊂8_.' 9H
v0⊂≥W⊂6\dελ7→∧ε07\MW(6~%bH:≡.ε(9H↔⊂2H⊗`;X/↔_⊂≤↔⊂9Y,B4[Dπ 4→$ε(5[∧ε_7[-Vλ7→∞2p2X,6@⊂→-6`⊂→NVp1]
⊗x7λ
FH5Y$ 4H
ελ9H∩6≠mf8⊂→Mw⊂6H⊗p2λ∞6@7\NF(9λfx9≠.2;Z
⊗_4λ↔⊂2HF(9~.f(2→N&x6H∞F@2H
Fx7→lW⊂⊂→Mw⊂6H'H⊂_.π9≠nπ⊂4X.F(⊂→V00]-G 9KNF@2H&λ9Z,22ZmB2_.Fλ⊂≤nG⊂:XnG(9→.20[LB:~R3≥-f_:~-vp9H∞Fx⊂_LR9].π6~,V ⊂≥
r:~R:\lW⊂⊂_.&(⊂≥
π(9NEβλ∀H∞π⊂7[lg_⊂λ∧α⊂_mvp9]∞'(1]
w⊂9NDπ 4→$π(9],⊗`⊂≠mf(9H
FH5Y$ 4HβvH⊂→.F_↔λ∧α⊂≤lV`2XnFx9≤g"⊂λ∧α⊂
∞π⊂7[lbh;YLbh7YDεp∀H¬ε_7\∂∩7YDπ 4→$π83→Dεx7λ∞F@2H
g 4λ
FH7→$εx3λ7(9≤LW⊂7≥∧π9≠mv0∀H∧α⊂λ∧α@8≤Mvx3,6h2-v0⊂≠E∩∀_mvh6X-f 7_-V(⊂≠lb:~R7≥
α6~-f(∀H∧α⊂λ∧α@8≤Mvx3,6x7≥W@:-FH7→.2h7YDεp∀H¬ε_7\∂∩7YDπ 4→$ε`4\nB7YDελ6≠∧ε`4[LVp7\dεH7λ∞F@2H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧ε_7[NF(<≥∧εx3λ∞F@2H
g 4λ
FH7→%∩⊂λ∧α⊂
∞π⊂7[lbh2→.ε(7→Vp1Z,W_⊗[lb7
$α@1[nπH⊂≠lb2→.ε(7→Vp1Z,W_⊂≠lb7≥
α6~-f(∀Jε"H⊂≠
⊗p2\dα⊂λ6x7≤nG⊂:XnFx9≤g"7≠mf(⊗λ∧π_2[V_:≠n'_≥λ
fx7→$α@→J$π 2\MW_⊂λ∧α:~R1[mg_:≤NV_:≠n'_⊂_-f ⊂≤lV`2XnFx9≤dελ9→$π 4≠n6(⊂≥m↔ 4~-b:~R9↑.7 2[$α⊂λ¬ελ⊂≥mεx6→$π4[R7YDπ 4→-R≥λFx1]-V(7≥V ⊂≠↔ 2\E⊂wαv}x1πN∂ 5␈␈xx∧⎇`X[{l	Px≥`X[{kq0xπ=`X[{kY⊂xπ⎇`X[{k@px∩]`X[{k(Px∩⎇`X[{k⊂0x∩⎇`X[{jx⊂x≥`X[{j←px≥`X[{jGPx∩=`X[{j/0x⊃⎇`X[{j↔⊂x∩≥`X[{i}px≥`X[{ifPx≥`X[{iN0x]`X[{i6⊂x⊃≥`X[{i≥px≥`X[{i¬Px⎇`X[{hm0x≥`X[{hU⊂x
]`X[{h<px∪⎇`X[{h$Px∩=`X[{h0x↓⎇`X[{gt⊂x≥`X[{g[px∪=`X[{gCPx∂=`X[{g+0x
=`X[{g∪⊂x≥`X[{fzpx∪=`X[{fbPx=`X[{fJ0x≥`X[{f2⊂x⊃]`X[{f→pxβ]`X[{f↓Px≥`X[{ei0xα⎇`X[{eQ⊂x≥`X[{e8pxβ]`X[{e Px∩]`X[{eλ0x
≥`X[{dp⊂x∩≥`X[{dWpx⊂]`X[{d?Px⊂]`X[{d'0x≥`X[{d∂⊂xα=`X[{cvpx
≥`X[{c↑Px=`X[{cF0xα=`X[{c.⊂x∂]`X[{c∃px=`X[{b⎇P βf`↓;80u`∩@X 
0:~R6_-f8:X,v(⊂_l⊗p⊂_LR2↑∞F(7→V ⊂_-F`⊂≥
ε(⊂≥l↔H⊂≥
r3~-fH:→$εx9→W⊂⊂≤∞&(2~,6λ:→$ε`7Ym⊗_;Z.F@⊂≥∂↔2Y∧@⊗Xl⊗`1]-G(9HλVλ1Z∧π00\M⊗λ1≠R7\Dελ⊂_mvp9]⊗p:λ
ελ9H∩:≡.ε(⊂
∩6Y.Fλ:~Vx9→.FH1HVp:~.GH∀H⊗p2λ∩9[n' ↔⊃,⊗_4λ∞6x9≥∧εH9H∞&(3X.& 2Y∧ελ9H∩:[L↔⊂<H∞π⊂2Y
⊗_0]R;Z.F@⊂≥
ε(⊂≤l⊗h2H
fλ6Y%d07\Dε(0Xmα:≡.ε(⊂_.7_7Xm⊗λ:→$π 4→$εh7\nB3Y-f(9_-B9[n' ⊂≠lb2[NFH:~,W_⊂≠lb:~↔ ⊂≥∂↔2KHW02[Dπ 4≠nV84λ∞F@4\dεh0↑$ε_0].6(⊂≤mvh2H6x7→NW_4[mb;Y$π_4_-F`⊂≥.6(⊂≥
ε(⊂≤l⊗h2H
fλ6Y$ε07\Dπ 4~.7_7\NB0\dε07\Dπ 4→$π <\R4]∧ε_0[,R3≤Mvh↔≥lR9Z⊗`6λ
ελ;→$π7[∂⊗h7\Nε@4Xdπ <\W_≥≥∂↔2\g"⊂
ε∩H⊂_-gH⊂~,F(7≥
⊗04Y."`⊂~-f_6≥,FH7→dε89≠nVp2λ⊗p2λ∞G⊂:]
π00[∧εH9H∩8≤M⊗h4]
↔02H∞GH8→%b⊂λ∧α⊂λ∧α⊂
ε"H⊂_$π00\M⊗λ1≠R:≡.ε(⊂∞dπ_:_.' 4[Lr;Z.F@⊂∂dα@9X/∩∨L$βx→λW 1KE∩⊂λ∧α⊂λ∧α@→J$εH3λ#λ⊂F"↔Ebp⊂Mb0[LB↓H↔⊂2H∞GH8→.2`⊂≤mr4\dα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬ελ∀H#λF!0↔Ea0↓≠D↓H⊂d¬X:~R:≡.ε(⊂≠lb0Hg(7_nFH7[Dεx3λfH7~.F(⊂_.&H:≡+R⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬ε⊂∀H#λF!0↔Ea0↓≠E"H2-]
ε(⊂≥∂↔2H
v0⊂_$ε0:[L7 4[mb7YDπ00\M⊗λ1≠R0\M↔ <NDα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∞F@2H∧π⊂2[,⊗H7~-f8⊂≥L↔⊂4X,&`2\dεx7λ
FH9]∧ε@0]LR:≡.ε(⊂Meh⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@1J$α@↓"bp↔B`⊂7
"`_⊂ε$8⊂⊗nF@2H∞GH8→$εx3λ∩1~-f 4[Lr7\∧εx3λfH7~.F(⊂_.&H:≡+R⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬ε ∀H¬⊂_EEbpMbP∀E@2Hr-]
ε(⊂≥∂↔2H
v0⊂_$ε⊂4[LFH7→dεx8λ
v0⊂≥L↔⊂4X,&`2H↔⊂4]∂∃h)↑-g 0XnFH1H∞GH8→.2∀λN7H7≥∂↔2\d"H⊂∞Dπ00\M⊗λ1≠R7\Dε_7[N7 0[NB∀≠-w⊂2H
⊗p3≠n&h0[
GH⊗λ
ελ;→$ελ⊂≠Mvp⊗Y/ε_6≥.6H;→$ε 4]M↔_4[mcP⊂~-f ;_."⊂λ
⊗p2_mvp9]∧α3≥-f_:~-vp;_."3≥-f_:~-vp1[mg_:_-g ⊂λ∞π⊂2Y
⊗_0]W00\Dπ9→,FH1X.F(1[mg_:λ∧α⊂λ∞6(7≥∞fλ9λ∞6(7≥6x7≤nB1~-f 4[Lvx8λ∞6x9≥¬↔⊂2[,↔⊂5NDεp7Hεαh0\O∩3≥-f_:~-vp9H
w⊂⊂≤∞&(2~,6λ:→.20[
Fx;Y,B⊂λ∧α⊂λ∧π 4→/∩4_.f(⊂≥
ε(⊂≤l⊗h2HV03→,7 ⊂_.21[mg_:_-g 9H⊗p2λ∞6(7≥6x7≤nFλ7≥∞2`⊂_-gH;X/↔9→,F(1[↔⊂2Y∧π <\W_≥≤nFλ7→↔⊂2λ∞π⊂2YV_6_.&(2λ∞6x9≥∞3P⊂→n&x:[LB1[↔_9H
fλ:≠NVh⊂≤lW@8λ∞π⊂2YV_6_.&(2λg(7_nFH7[Dε_7[N7 0[NG_⊂λ∧α⊂λ∧α⊂λα∩∂λπ":≤NW 4≥L⊗`≥∞'(:~∞fλ6ε.G⊂:]
π00[∧α⊂λ∧α⊂λ∧ααλβr≥λ∞G⊂:]
π00[αg 9≥.F@;_-BP⊂ε$π 9≥.F@;_-B⊂λ∧α⊂λ∧α⊂λ∧(⊂∞Dπ 9≥.F@;_-AH⊂≥∞'(:~∞fλ6λ∧α⊂λ∧α⊂λ∧ε_7[LCP⊂≥∞'(:~∞fλ6¬Gsλ⊂ε$βx_H∧α⊂λ∧α⊂∂$βP⊂∂d↓0⊂∂d↓H⊂≥∞'(:~∞fλ6λ∧α⊂λ∧α⊂λ∧α@7≥∞W6→$α`⊂≤lW ⊂∞Dβx_JD↓H⊂∂f∩H⊂λ∧α⊂λ∧α⊂λ∞π⊂2YV_6_.&(2λ&H7→
⊗p3H
w2\L↔ 7\N3P⊂λ∧α⊂λ∧α⊂λαB
Hπ"∀∂f∩P∀ENG⊂:]
π00[β↔ 9≥.F@;_-B⊂λ∧α⊂λ∧α⊂λ∧@⊂∞Dα@∨L%"H∂f!H∀∂f∩POf"H⊂λ∧α⊂λ∧α⊂λ∧@∧λπ"∀→n&x:[LBP∀ELw⊂7]-f Yn&x:[LB⊂
∞F@2H∞Vp:≡.ε(2λ↓α3≠n"∧,6λ6_nV`:\dα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α0[LB9Y.B:~Vx9≡%↔9→,F(1[↔⊂2Y∧π_2[NF(7≥
⊗λ6λ6x7≤nFλ7≥∞3P⊂∃
%("Hλdλ&∀hRβλ
E⊂*U	¬0 S∧π⊂2[,↔⊂5NDεx7_lR;Y$ε@0]LR0H∞ελ9≤lW⊂⊂≥lR9Z⊗`6λ⊗`9[dελ2→∧π⊂2[↔ 4]M↔P2Y∧πλ:X-g 4YM⊗(9≤g2⊂λ∧α⊂λ∧α⊂_$εp4XlR7≠nFλ:~-vp0[∧ε_7[Nf(7≥
⊗x7λwαv}x1πN∂ 5␈␈xx∩≥`X[{l	Px¬]`X[{kq0x≥`X[{kY⊂x∩⎇`X[{k@px∂]`X[{k(Px⊃⎇`X[{k⊂0x∪=`X[{jx⊂xλ]`X[{j←px≥`X[{jGPxλ≥`X[{j/0x≥`X[{j↔⊂x∪]`X[{i}px⊂≥`X[{ifPx
≥`X[{iN0x∪≥`X[{i6⊂x∪⎇`X[{i≥px⊗]`X[{i¬Px∪⎇`X[{hm0x∀=`X[{hU⊂x≥`X[{h<px
≥`X[{h$Px≥`X[{h0x≥`X[{gt⊂x∂]`X[{g[px
=`X[{gCPx≥`X[{g+0x≥`X[{g∪⊂x∩≥`X[{fzpx≥`X[{fbPx∧]`X[{fJ0x≥`X[{f2⊂x
=`X[{f→px≥`X[{f↓Pxπ]`X[{ei0x
]`X[{eQ⊂x=`X[{e8pxλ]`X[{e Pxλ≥`X[{eλ0xπ≥`X[{dp⊂xλ⎇`X[{dWpxα]`X[{d?Pxπ]`X[{d'0x	⎇`X[{d∂⊂xλ=`X[{cvpx⊃]`X[{c↑Px⊃=`X[{cF0x≥`X[{c.⊂x
⎇`X[{c∃px=`X[{b⎇Px∩≥`X[{be0x	]`X[{bM⊂x=`X[{b4p ∧⊂@↓;80u`∩@X ∞⊂3Y-f(9_-B9→-Vλ9~n27[Dπ 4→$π_<[NFλ<∞Dα⊂λ∧α⊂λ∧α0[DεH2→-g 4YM⊗(9λ
↔_⊂_$π_:≤M⊗p3H
v0⊂≠W :→.'_⊂→N&x6H∩:≠dπP⊂→Mv`6≠nv(2λ'H⊂≠NVh2\L⊗`9H∧α⊂λ∧α⊂λ∧α0XN7 9_,7 ⊂≤o⊗p:_/βP⊂≥
ε(⊂→Mw⊂6Hfx7ND3λ⊃LDπ⊂2YLW⊂9H∞Fx⊂≥
ε(⊂Mf ⊂_mvh8≠mf(7≥∧εx3λ∞F@2H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α7YDπ 4→$ε07\MW(6_$εx3λ∞F@2HfH9≤nB6~-f(⊂≠lb:~R8≤Mvx3λfx7KDα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λf∩_→λf24\dε 2YL↔(6≥∞2:≠dε07[g"__Hf"_→H
⊗0⊂→Mvx⊂~.2:~R⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ7(9≤LVp:≠∂∩0XnFH;→$π9≠mv0⊂≠L⊗h2KDα⊂λ∧α⊂λ∧α⊂≠
⊗p2HF(9Z,vp0]
w⊂9NDαP⊂~.2:~R1].'⊂2[NB6~-f(⊗λb:~R8≤LW04[nW_⊂≠
⊗p2K∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∞6H6Z-Fλ9≠∂∩3≠n"/↔Dελ7→∧¬p/↔Dα⊂λ∧α⊂λ∧α⊂≠
⊗p2H
⊗p:→.'00[∞3P⊂λ∧β`6~-f(2→.6H3[L↔ 7\GcP≡≠
⊗p2YW_4Ymfλ:≠n#p⊂≠nF@2\Dελ9\V_:≤dεx3λ∞F@2H∞7H7≥↔@⊂_.&(⊂→/π6_-⊗p2Y∧π84→-b0\∞π⊂7\∞&H0]Rpwαv}x1πN∂ 5␈␈xxπ]`X[{l	Px≥`X[{kq0x∪⎇`X[{kY⊂x=`X[{k@px∪⎇`X[{k(Px∀=`X[{k⊂0x∪=`X[{jx⊂x∞⎇`X[{j←px=`X[{jGPx⊃⎇`X[{j/0x∞≥`X[{j↔⊂x=`X[{i}px∂=`X[{ifPx=`X[{iN0x∞⎇`X[{i6⊂ ↓$↓;80u`∩@X ∧p6[n&(⊂≠mb8≠mGH6[n'4~,2:≡.ε(9Ndπ0\L⊗h2]∞&H=→,B:≡.ε(⊂→V_6_.&λ:~-vp9SMw 2H∞F@0]∧βx∃λ
w⊂⊂~-b3Y-f(9_-B`⊂_-gH⊂≤↔⊂0[,W 2\Dπ84]
α0H¬";Z-F`⊂≤nFλ7→∧ε07\Dελ⊂≠
↔_:≠lb0\L&H:≤L↔⊂<H
F(7→nF@↔≥
ε(⊂→,f02XnB7YDπ 4→$αP⊂~.2:≠dεH7≥∞&x2≥,6(⊂≥L↔⊂4X,&`2H↔⊂4]
⊗(9NLRp3KDε0≥≤f⊃09LE"H∞B4\dελ⊂→NVp1]
⊗x7λ⊗_1Y.π 4[Lr;_.&H0XMF(9H
v0⊂≥∂↔2\f∩4[Dπ 4→$ε04\N7 ⊂≤
Fλ1Y$ελ7→∧ελ6≠∧π 4→$εx:~W⊂9H&(4[Lr7YDπ <\R9LEg00\M⊗λ1≠R0\M↔ <HF(1[↔⊂0]
⊗x7≤dελ9→$εx7≠∂∩0[
Fx;Y,B3≠n"1[mg_:_-g ⊂≥∂↔2\efp7H∞GH8→$π_4≠nV`2λ&(⊂_-V⊂4YnVx:\g"4KLRp⊂_mvp:_-⊗p⊂≤↔⊂0[,W 2\N24[Dπ 4→$π⊂0[Lv(⊂≠Mw 3Z.f(7λ
⊗p⊂≥
ε(⊂→
vh0Z-bp:≠dε 2XmFλ9→$ελ⊂→NVp1]
⊗x7λ6x7≤nFλ7≥∧ε`4ZlR3∞GsλOf∩4\dεH7λV03→,7 ⊂≥
ε(9X-V(⊂_.22→,6`0\M⊗p3H⊗p⊂_.'⊂0↑$εx3λg(7_nFH7[N27YDπ <\R3\Mw(7→∧↓H3\Mw(7→¬G 9≥.F@;_-AH:≤NW 4≥L⊗`⊂→.F_⊂_-F`⊂≥m↔ 4λ∞F@2H∞6λ6Y$εp0[,Rp*~R8≥.'7\lR7YDελ6≠
w84[Lr:≥mr∀→.7_2[NFH0[
GH∀HFH3→LW⊂2[NB3≥-f_:~-vp9H∞Fx1→$π⊂2\∞&(9Y-g 2Y∧ε⊂<H∞F@2H∞6λ6Y$εp0[,R4\dπ 7H↔07Z,B0H∞π⊂7YNW_4[mb7YDπ_:XN6_9~.π 9HW 1KD¬ 4≥.2;Y$ε_0[Dπ(9Y$↓⊂≥
π⊂7],v@7].B:≠dε 2[Mw 2H
⊗p1[∞W_4[mb1→.G82Y-b2~,f02\LVp:λ
F(;→-B7XM&(1]∞2p$≠nv(;→."`⊂≥lR2≠dπ⊂2\.VH9→$π 4_.B2X,6@⊂≤o⊗h1≠mB4_.f(⊂_$π(7~.↔(2H
V(0[M⊗p3]m↔ 4~-b:~R1[mg 2↑∞B4]∧ελ8≤Vλ9≤g"2]LW⊂<H
v⊂5→,7 ⊂~-b0Hfx9≠.V`0]m⊗`6λ
ελ;→$εH:≤dπ <\R1[mW:]V ⊂~-b0H∞&(1].'_4]LR3_.6@4[mbp⊂∩,b0]∧ελ7≡.εx4[NB;Y$εp7]
⊗_2H∞F@0]∧π 4→$π <\R7YDελ7λ
v⊂5→,7 ⊂~.24[L6x9≤LV_:λ
w⊂4[Nfλ6~,B`⊂≥lR2\N&x9λ
w(:H⊗`9[eB2X,6@⊂≠l&P2XnB1X-b4_.f(⊂_.B6[n7 ⊂≠mf(⊂→V_6_.&λ:~-vp⊂_.7_7Xm⊗λ:→,B:≠dεH:λ
⊗p⊂_-gH⊂→m↔02[Dε`4[LRp0\n6x1Z,↔ 4]M↔ <HF(1[↔⊂0]
⊗x7≤g&λ7λ↔8≠
⊗_0]
↔02H
w2\L↔ 7\Dεx3λ∞fλ9~,⊗⊂6→$ελ9~.GH⊂π&&_0[Dε⊂2HF(1[↔⊂2Y∧ε`2YNB7\Dπ⊂4Ymπ ⊂_.7_7Xm⊗λ:~.f(⊂$ελ⊂_M⊗p2~-f8⊂≠nα7YDπ00\M⊗λ1≠R0\M↔ <H6λ7λ&(⊂→V_6_.&(2λ∞&H3Z∞B0\n6x1Z,↔ 4]LW84]
α:~R7XNfH7].27≠nFλ:~-vp0[∧εH7→Mw⊂6X.FH7[Dε_7[-⊗p3H⊗`7[LsP⊂~-g 2\Mfλ6≠∂∩:~R9→.7(6≥
⊗p3HW@8≤LW_9Z-vp9H∞vH6≠∧ε⊂2\LW9→.6(7≥V ⊂_.26~.7 9H
v0⊂_.&⊂4]∞&λ9≡$ε`2[Lv@:≤nv@4Xmα;Z-F`⊂_LR0].Fx6X.FH1X-F`<H∧&06_.G 2[LV ⊃∞NF@:\dα@∃Hε"→H¬αX⊂$α→
%∩1→,6x6Y.2∀
dβ⊂⊂dβλ⊂E⊗H3λ¬24_.21→,Vp⊂→V_6_.&(2λ∞&H3Z∞B0\n6x1Z,↔ 4]LVx9λαG@⊂≡%a :H∞bpβH&(1[mV(9HαG@⊂≡$π(⊂≥E`8≥]
ε(⊂≠nε(9_.Fx9≤d↓ ⊂¬$ε@0]LR0[∞&(0Y∂∩1→,Vp⊂→V_6_.&(2λ∞&H3Z∞B0\n6x1Z,↔ 4]LPwαv}x1πN∂ 5␈␈xx∞=`X[{l	Px≥`X[{kq0x∩≥`X[{kY⊂x¬≥`X[{k@px≥`X[{k(Px
=`X[{k⊂0x∞⎇`X[{jx⊂x∞]`X[{j←px⊂≥`X[{jGPx≥`X[{j/0x⊃=`X[{j↔⊂x¬≥`X[{i}px≥`X[{ifPx∂≥`X[{iN0x∂⎇`X[{i6⊂x=`X[{i≥px⊂≥`X[{i¬Px∞⎇`X[{hm0x
⎇`X[{hU⊂x
]`X[{h<px∂=`X[{h$Px∞≥`X[{h0x∂=`X[{gt⊂x∞]`X[{g[px¬]`X[{gCPx∂]`X[{g+0xε≥`X[{g∪⊂x≥`X[{fzpxε⎇`X[{fbPx≥`X[{fJ0x≥`X[{f2⊂x≥`X[{f→px⊂≥`X[{f↓Px
≥`X[{ei0x∞]`X[{eQ⊂x
=`X[{e8px
≥`X[{e Px
=`X[{eλ0x
≥`X[{dp⊂xλ]`X[{dWpx∂]`X[{d?P β2`↓;80u`∩@X 03Y-f(9_-B;Z.6 7[$ελ1≠nW ⊂→V_6_.&λ:~-vp9H⊗p2λ∞F@2Z."3≠n&h9H∧α⊂λ∧α⊂λ∧ε(0Xmα2→,6`0\L↔ 4[mb4_.2:~R2YLf(1]∧εx3λ∞6(:≥
⊗p3H∞F@2H6x7≥W@:λ
v0⊂_$ε`4[LR⊂λ∧α⊂λ∧α⊂∃mε(7→.f(9λ∞F@2H∞W_2\Dεh2[NFH7[N20H∞v03∧π 4→$ε 2XmFλ9_.FH7[N23Z.fH7→dπ 4→$π_<[NFλ1]
⊗_⊂λ∧α⊂λ∧α⊂λVp:~.FH2\dα@7\Dε`4[LW_⊂≥mεx9Y$ε_7[NF(<≥∞22[NFλ4[∧π 4→.6(⊂→V_6_.&λ:~-vp9J$α⊂λ∧α⊂λ∧α4_.f(⊂≥
r1Z.F(2λ↔_⊂→W2[LF(7_m⊗(9H¬R4[Dπ 4→$π⊂2\nV`:~-f8⊂≠
⊗p2H
vp6≡$α⊂λ∧α⊂λ∧α:~
w_2H∞F@0]∧π82\LR:\lV ⊂~-b8_.'_4[Lr;Z-F`⊂_LR1Z.F(2λ¬ελ8≤Vλ9λ
⊗p⊂~.G_⊂_mvp:→/π ∀H¬R⊂λ∧α⊂λ∧α⊂≥
εH9H
↔_⊂≥
ε(⊂≥l↔H⊂≤o⊗h1≠mG_⊂_.&(⊂→
↔_1Z↔⊂3Y,Bp'≠nF(⊂≥
ε(⊂≠Mvp⊗[-vp7]
vp4Xm↔ <H
v0⊂≥
εH9H∞GH8→$εx3λ∞6H:≥,↔ 4[mcP⊂_$ε07\MW(6_$εh0↑$ε⊂2]-fλ6XM⊗8:[n2;\NB:≠dελ⊂≤lW ⊂≠lb:≡.ε(2→,6`0\L↔ 4[mg_⊂_-f ⊂_-V⊂4Ym↔(7\dπ89≥∧ε`0\Lv(9λ∞6(:≠lb2→,6`0\L↔ 4[mg_↔∀m⊗h4[↔⊂6≡%B:~R3≠n&h:[∩
≠Edλ∀≠E⊃λ
≡¬dλ∀≡¬∩6X/∩1→$π9≠nfλ1≠R4YDπ82HFx⊂≠Mw ⊂_m↔ 2X.20HF(8→-f 2[L7H⊂≥
ε(⊂→V_6_.&λ:~-vp⊂≠lb7λ
v0⊂≤mw⊂:λ
fλ:≠NVh↔∃
εH9H
↔_⊂≥mπH⊂~-g_:→,⊗ ⊂≠lb2→.ε(7→Vp1Z,W_⊂~.B4\dε⊂2]∞F(9λ∞Fx⊂≥⊗`5H⊗⊂7].B:~R1[mg 2↑∞Fx3λ∞F@2Hfx9≠.V`0H
⊗p⊂_$ε_7[-Vλ7→π"$[Nfx5Z-f8⊂→V_6_.&λ:~-vp9H↔_⊂→W2[LF(7_m⊗(9H
ελ9H∞F@2HV03→,7 ⊂≠lb9Y.G 4[Lr:~R1[mg 2↑∞B7YDπ 4→$ε`4[LRp:~R3≠n&h⊂≠lb0HF(1[↔⊂0]
⊗x7λ∞vH6≠∧ε⊂2H∞6x6Y.F@4[Lr6~-6(≥λ∧α⊂λ∧α⊂λ∧α@2→,6`⊂≠L⊗h2H∞GH8→$π_<[NGH8→$π_7\NB4[LfH<~-f07H&H7→
⊗p3\
w82\Dελ9\mv_4[Lfx∀]m↔ 4λ∞fλ9~-w(9HF(3_.V`:≤eb$→.&(⊂~-f04↑
⊗p3≠dεH9HVH:~W⊂⊂≤∞&(3~/α`⊂~-f04↑∧εx9λ&H7→
w0[LB1~-f 4[Lw7]lW⊂⊂→m↔02\dπ 4→$ε⊂4[LFH7→dπ7]lW⊂⊂≠lb:~R2[NFH:≡$εH7λ∞↔(2\nFH7[Ee 4→.6(⊂≥∞vx⊂≤↔⊂0[,W 2\N20YLf(1]∧π 4→$π0\N6H7→dελ7→∧π(7≤↔⊂9Z-f8⊂≠lb4[Nπ(:H↔_9[l6H7→Mr4\dε(4]
ε(9λ
F(3≥¬B9~,v@:λ
w⊂⊂≠M⊗`⊂λ¬π 4→$ε 2YL↔(6≥¬∩p*~R7_-V(1[mg 2↑∞B4\dελ3→LV_:→,B1→$π 4→$εp0[,W⊂0[Lv(⊂→V_6_.&λ:~-vp≥λ∧α⊂λ∧α⊂λ∧α@7_-V(9_-f82HπFp0[,Sp⊂∂
FH7→.&λ7→lSp∀]
εH9H
fλ6Y.2:~R3\Mw(8λ
v0⊂≠
⊗p2\dε09≠mR≡≠
⊗p2\L⊗p3Y'b:≠dε⊂2HπFp0[,Sp0[LB1Z⊗p3Y.2:~R7_-V(⊂_mvp:→/π ⊂≠lb:~R6~-f(↔wαv}x1πN∂ 5␈␈xx=`X[{l	Px≥`X[{kq0x∩]`X[{kY⊂x∀=`X[{k@px⊃]`X[{k(Px⊃≥`X[{k⊂0x∀=`X[{jx⊂x=`X[{j←px≥`X[{jGPx⊃=`X[{j/0x∩≥`X[{j↔⊂x∧≥`X[{i}px∩≥`X[{ifPx
≥`X[{iN0x∩]`X[{i6⊂x∩⎇`X[{i≥px
]`X[{i¬Px≥`X[{hm0x=`X[{hU⊂x≥`X[{h<px∩≥`X[{h$Px≥`X[{h0x⊃⎇`X[{gt⊂x⊂⎇`X[{g[px∂⎇`X[{gCPx
]`X[{g+0x≥`X[{g∪⊂x∞=`X[{fzpx≥`X[{fbPx
≥`X[{fJ0x≥`X[{f2⊂x∞⎇`X[{f→px
=`X[{f↓P α{ ↓;80u`∩@X 	02→,6`0\M⊗p3Hg(6≠∂∩0\n6x1Z,↔ 4]LR7\W⊂0]
w⊂9X.π6~,6λ:~.f(⊂≠nε(9_.Fx9≤dεx3λ↔⊂4]∂∩∞LDεh0↑$ε⊂2HF(1[↔⊂2Y∧ελ9\mv_4X.FH;→'' 4→$ε_7[-Vλ7→∧α∀⊂*5_'Pi∀λ*∩*d(⊂→Dα≡≥L↔⊂_ODβ`;_.#⊂∨λπG00\F3p⊂∂
FH7→.&λ7→lSp∀H
⊗p:≤Mv :XlW_⊂_.20[Dελ9\nVh8≥
⊗x7λ∞F@2Hfx9≠.V`0HαB;$π0→λ∞c_↔λb@;$ε0∀≥F";e∩H⊂∂$ε0∀→Eπ0_H∞c⊂∀H∞c_∀Hfx9≠.V`0\dε_4]V ⊂~-b6~-f(9H∞W_4[Lr:~
↔_⊂_.20HF(8→-f 2[L7H⊂≥m⊗`6λ&(⊂→MFλ:≥Vp2Y∧π(9Z-f83≥-F`⊂_.7_7Xm⊗λ:~.fH:≡%b:~R7\W⊂0]
w⊂9HB∂H
ελ;→$ελ6≤LVλ2≡$ε⊂2Y-b2→,6`0\LV ⊂_.7_7Xm⊗λ:~.f(wαv}x1πN∂ 5␈␈xx	=`X[{l	Px≥`X[{kq0x∂]`X[{kY⊂xβ≥`X[{k@px=`X[{k(Px=`X[{k⊂0x=`X[{jx⊂x	⎇`X[{j←px=`X[{jGPx
⎇`X[{j/0x=`X[{j↔⊂x∩]`X[{i}px∧⎇`X[{ifPx=`X[{iN0x∞≥`X[{i6⊂ c↓;80u`∩@X ∧p9[n' 4[Lr4[Dε(5[∩9[n' ⊂~-b2ZmB4\dπ_4[.ε`<H∩:[L↔⊂<H∞π⊂2Y
⊗_0]Vp7]R:~↔ ⊂→,⊗_4λ∞fλ9~,⊗⊂6→$π_<[,&x6λ	∧λ)H∩:[M↔λ:Y$π_7\NB0]∞Fλ1ZV ⊂≥
r4]¬b+ZVp⊂≥lR0\LR2≠m⊗p3H⊗p⊂→/εH9]Vp:~,⊗`⊂→lVp2\L⊗`4↑L↔ 4[mb∧,⊗⊂9]∞&λ1]
⊗x7λW 1KDπ82H∞F@2[Dε_4→,6X⊂≥mε(:~W⊂⊂≥
ε(⊂≥W⊂6H
⊗p⊂≤.V(9]
⊗x7λ
4λ*∩*40$Q*2:~R9X-V(⊂≤mw⊂:λ↔_⊂≥
ε(⊂≤mw⊂:λ
f(2YV ⊂≥.6H7→nF@2H
w 4→."2→.ε(7→Vp1Z,W_⊂_m↔ 2Y¬b#≠n":~
↔_⊂≥lR4_.f(⊂_$ε82[LW⊂0[∧π:\Nεx9Y$ε 2Xm↔_4[mb8≤Mv_2Y∞W⊂2]mεH1Z∧εx8→.&λ:→.21≡$ε⊂0Xm780\LB1Z⊗H7~-f8≥λ∞F@4\dεH9H
fx:→nVλ9_-g 2Y,B:≠dε⊂2H6x6\
F(:→'27[MGH⊂→L↔_:I⊗0⊂≥
εH9H∞π⊂7XlV :\LR3_-⊗`9K∧π82H∞6H6\
GH⊂~-f_6≥,F(⊂≥
ε(⊂≠LV_2\n6λ9≡,6x7→
↔ 4[mb0\dελ7λ6x7→
↔ 4[mb;Z.F@4[Dπ 4→$ε`4[LRp*~∞W_⊂≠nW⊂⊂≤mw⊂:≤dελ9→$εp7]∧α⊂2~.6P7Z-g ⊃≠Mw⊂⊂→
r;Y$ε@0]LR1[mf_2\∞G_⊂≠
⊗X2H∧&h7\LV82[LW⊂0[∧"7\Dα⊂6→.7_3Y-f(9_-B⊂↔≥lR9[mV(:~-V(9H∞vλ7≥∧π 7H
⊗p:≤Mv :XlR9[n' ⊂~-f07\MVλ:~-vp⊂~-b0[Dελ1_N&(;~,↔ 2Y∧ε07\MW 7H∞F@4\dε(7→¬B;Y$ε@0]LR9\V_4X-B3≠n&h9H∞6λ9\nVh2H⊗p2λ∞6λ<~-vh⊂≥
ελ:λ⊗`6≠nr9\V_4X-G0\N6H7→dεx3λfx9≠.3P⊂
∞6λ9\nVh2←∞6λ<~-vh⊂∂∞6x9≥fx9≠.V`0ODε`4[LW⊂0[Lv(∀]mε(9→$β`9[n' 3≠n&h:[∪p⊂~.22Z.F@2\Dα≡_L3p⊂∨απ`≡←∧β`1_geX;ZW⊂2H&_⊂≤nFλ7→∞23≠n"0H&x7[Vλ7λ6x6XM⊗p0]
⊗x7λ
v0⊂≤mw⊂:≤dα`⊂∧ελ7→∧ε04[M↔ 2H∞6(:≤dε07\MV(2λg⊂7[$ε_7[N7 0[NG_.H
w⊂⊂≠lb:~R3≠n&h⊂→G'_7\NCλ≤mw⊂:Bg_7\NC_Ebp↔Bg_7\NFp\mw⊂:λW@0[.ε`2\g"@9X.7_:[,R9L"'_→∧N3_≡L¬⊗(3→LV_:∞DεH7≥∞&x2≥,6(9H∞F@2H↔_9]-W:~-vp⊂∞D↓ <@R@9L%π@∀A∞3⊂∀≡¬⊂ 9Leπ@∀O&αH⊂λ∧α⊂λ∧α⊂λ∂α7YDπ 4→$ε_7\N&(1]∧π <\R@9X.7_:[,R9O/6λ⊂_Dε_>J,V03→,7 ≥λ∞F@2H↔_9]-W:~-vp⊂¬∂αp∀≤eπ@∀GEπ@≡X#w@≡XCw@≡Xe∩∀≤l↔_9]-V(⊂_d0⊂≤mw⊂:
,V03→,7 ⊂∞DεH7≥∞&x2≥,7 4[mb7YDπ 4→$ελ9\nVh8≥
⊗x7∞Dπ_7\NB@1J$α@9X.7_:[,R3∞N3λ≤f!09Ld↓H⊂≤fBH2YLf(1]∧βP⊂~-g 9≠lG(1]
⊗x7λ
v0⊂≥
ε(⊂_.7_:[.π 4[mcP⊂λ∧α⊂λ∧α⊂λ∧↓ <$π@→λ∂β_↔
∞3λ∀≡ε∩Hα≤f"@<E⊂ 9Leπ@→J$↓λ⊂≤fB@3
∂βλ⊂≡ε"<e∩H∀@wαv}x1πN∂ 5␈␈xxβ]`X[{l	Px≥`X[{kq0x
=`X[{kY⊂x≥`X[{k@px=`X[{k(Px=`X[{k⊂0x∞≥`X[{jx⊂x⊃=`X[{j←pxπ]`X[{jGPx
=`X[{j/0x≥`X[{j↔⊂x	=`X[{i}px∞≥`X[{ifPx
]`X[{iN0xλ=`X[{i6⊂x∂≥`X[{i≥px≥`X[{i¬Px⊃]`X[{hm0x∩≥`X[{hU⊂x∧]`X[{h<px≥`X[{h$Px
≥`X[{h0x≥`X[{gt⊂x]`X[{g[px∞⎇`X[{gCPxλ⎇`X[{g+0x
≥`X[{g∪⊂x=`X[{fzpxα=`X[{fbPx≥`X[{fJ0x¬≥`X[{f2⊂x∂=`X[{f→pxπ⎇`X[{f↓Px≥`X[{ei0x∧⎇`X[{eQ⊂x=`X[{e8px=`X[{e Px∧]`X[{eλ0x≥`X[{dp⊂x=`X[{dWpxε=`X[{d?Px
≥`X[{d'0x∂=`X[{d∂⊂ α` ↓;80u`∩@X p6≠lvH1X-B9≥-F(9X.7_:[,R⊂λ∧α⊂λ∧α⊂_.&89NDπX;YLgh⊗λπF`4[LW⊂0[Lv(∨λ∧α⊂λ∧α⊂λ∧ε(3→LV_:∞Dε(7≥W⊂⊂≥
ε(⊂≥lf09H↔_⊂≠
⊗p2\dα⊂λ∧α⊂λ∧α2→.ε(7→Vp1Z,W_≥λ∞F@2H
FH7→.2:~Vh9Y-G02\dαX⊂≥
ε(⊂≠mf(9Hv(7→.&λ:→,B0\dεH7λ∞αp≠λ↔@4[mR⊂λ∧α⊂λ∧α⊂_.&89NDπX;YLgh⊗∂
FH7→.&λ7→lSp⊂λ∧α⊂λ∧α⊂λV03→,7 ≥λVp:→."0\dελ<~-vh9H∧α⊂λ∧α⊂λ∧ε 2\Vp2→-f_4Y.3P⊂≥
ε(⊂≠
⊗p2\dπ 4→-W_2[∞f(9H¬2:~R7[LW_⊂→lVp2\L↔ 2Y∧ελ9H
⊗p⊂≤¬c0⊂λ∧α⊂λ∧α⊂λ¬π_7H∞F@2HV03→,7 ⊂~.2:~R9X-V(⊂_.20\n7(6Y$α⊂λ∧α⊂λ∧α⊂λ∞F@7],v@⊂≥
ε(⊂≥∞vx⊂≤mεx:[B1→$π(9Y,B2~,f02\LVp:≠∂∩H2→,fH7~.FH7[Dα⊂λ∧α⊂λ∧α0\Lw_≥λ∂6H7→∞fλ9∂.F(9≠/R`≡≠
⊗p2\L⊗p3Y'b⊂λ∧α⊂λ∧α⊂→,f02XnCP⊂~-g 9≠lG(1]
⊗x7λ
v0⊂≥
ε(9Y$π_:_.F(6Y-g 9H↔_⊂≠
⊗p2\dα⊂λ∧α⊂λ∧α2→.ε(7→Vp1Z,W_≥λ∞F@2H
FH7→.2:~Vh9Y-G02\dαh⊂≥∞&(0]V ⊂_.24YDπ 4→/∩1X-V(⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λg⊂7[$↓(;_."p∀≥L↔⊂≡]W⊂6J$π(9Z-f8⊂¬(R∃H↔_⊂~-b0XMw02H∞G⊂6\LW89~.F(>≤LW89~.F(⊂λ∧α⊂λ∧α⊂λ↔⊂3\g":≤MW`6~-f(7≠eB≡≠
⊗p2\L⊗p3Y'b`⊂∂
Vx2→'b⊂λ∧α⊂λ∧α⊂→,f02XnCP⊂≤LW89~.F(9H∞F@2H∞G⊂6H
w⊂⊂≥
ε(⊂≥lf0⊂≠lb6~-f(7≠dπ(9Z-f8⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α≡≠
⊗p2\L⊗p3Y'bp⊂∂
Vx2→'b1X-b1→$ε(4]
ε(9λ∞B7\Dπ⊂2]LW⊂9Y$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ
w⊂⊂≤m⊗h8≠
⊗0<H¬b)→.f(9≤lR6Y,⊗p9H∞&(;\M↔ 4[Lr;Z.F@⊂≥
ε(⊂
∞εx9\m⊗⊂6≡$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∞Vp4]LW⊂9X-F`<H∞↔(0[NFH3~,V ∀HWλ:X-FH:~,W_⊂_-f ⊂→.↔(4]L⊗`2[L6(9H∞&(;→.'_2Y¬b⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧¬_4[.ε`4YO∩6Y,⊗p9H∞&(;\M↔ 4[Lr:≠dπ 4→$π_4[.ε`2\nB3≠n&h≥H∞F@4\dπ84[
B0[∞6x⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α2≠d@⊗Y-FH6Z-fλ:~-vp9H6x7→
↔ 4[mfλ6~/&H7→dπ 4→$π_7\NB9→.7 9~,7 4[mg_⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α3≠n"9],'_:~.G(:~-vp9H∞F@0]∧ε_0[Mfx:λ&(⊂→W⊂4]LV ⊂→N&x6H∞F@2H
FH7→.&λ7→lRp⊂λ∧α⊂λ∧α⊂λF(8→-f 2[L6H2\g":[M⊗x7NFλ:]∧α⊂λ∧α⊂λ∧α0\Lw_≥λ∞v03∧β`6~-f(9_-f82OG3`6~-f(9_-f82LGb⊂λ∧α⊂λ∧α⊂→,f02XnCP⊂~-g 9≠lG(1]
⊗x7λ
v0⊂≥lf0⊂_.20H
f(;H
FH7→$εH3λ
↔ ⊂→Mv`6≠nw_⊂_O∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α8≤Mw7\m↔ 4[mfλ6λ
Fx3Z,2;Z.F@⊂→.↔(0[
↔ <H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂→N&x6Hfx9≠.V`0[
⊗p2\dεx3λ∞F@2H∞G87H
FH7→.&λ7→lW_↔λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂→
↔_1Z↔⊂3Y.2:~R0\n7(6\∞FH7[N24[Dε`4[LW⊂0[Lv(⊂≥
π⊂:Hα⊗H⊂→.F_↔λ∧α⊂λ∧α⊂λ∧ε 2\Vp2→-f_4Y.3P⊂≥-fH7[Dα:_.W 9Z-W⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α0\Lw_≥λ∞v03∧β`6~-f(9_-f82OG3`6~-f(9_-f82LGb⊂λ∧α⊂λ∧α⊂→,f02XnCP⊂_.20XMw02K∧ε(<_lW:λ∞v(⊂→M↔⊂9]∧π_4[.ε`4YO∩:~R;YLb:\m⊗p3H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬π7\n6H1≠∂∩:[M↔02\N6λ6≠∂∩8],⊗p:~,fH2Y¬∩2\.Vλ6~.FH2\dελ7→∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λWλ:Z.fλ6→-f_2\dεH7λπF`4[LW⊂0[Lv(∨∧gF`4[LW⊂0[Lv(→∂B3`9Z-W9Y.Cp⊂_-f ⊂≥
ε(7λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂_.π6≡$π 0].B;Z.F@⊂≥
ε(9Y$ε07\MW(6_.23≤Mvh⊂≠
⊗p2\L⊗p3Y$ελ7→∧ε`4[LW⊂0[Lv(→λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂→-FH6Z-fλ:→,Bp2→,6H2→$α⊂λ∧α⊂λ∧α0\Lw_≥λ∞v03πF`4[LW⊂0[Lv(∨∞gF`4[LW⊂0[Lv(→∂Dα⊂λ∧α⊂λ∧α2YLf(1]π"4[NG⊂7Y∞V_:~-vp⊂≠lb;YLb0\dελ⊂≠LW8⊂≠
⊗p2H
⊗0⊂~.B3≠mF`7]n21≡$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧ελ⊂_mελ4[Dεx3λFH9→,7 ⊂~-f02\LVp1Y.24[Dπ9→,FH1X.F(⊂≠
v84Xdα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ
w 4→.'84\lR0\dελ1≠nf(⊂λ∧α⊂λ∧α⊂λF(8→-f 2[L6H2\g":[M⊗x7λ∧ε 2Xn6H6\∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ↔⊂3\g";YLb`⊂∂
FH7→.&λ7→lSp≥O
FH7→.&λ7→lS⊂∨λ3`9Z-W9Y.Cp.H∧α⊂λ∧α⊂λ∧ε(3→LV_:λπ"6~-6(⊂≥↔(:≤m⊗h8λ
↔_⊂≥
r:_.W ↔wαv}x1πN∂ 5␈␈xxβ=`X[{l	Px≥`X[{kq0x↓]`X[{kY⊂xλ]`X[{k@px
=`X[{k(Px∩⎇`X[{k⊂0x=`X[{jx⊂x↓=`X[{j←pxλ=`X[{jGPxλ=`X[{j/0x∩⎇`X[{j↔⊂x⎇`X[{i}px
=`X[{ifPx≥`X[{iN0xα]`X[{i6⊂x
=`X[{i≥px∞⎇`X[{i¬Px⊃]`X[{hm0x⊃=`X[{hU⊂x=`X[{h<px∧]`X[{h$Px⎇`X[{h0x∂=`X[{gt⊂x⊂]`X[{g[px∪≥`X[{gCPx∀=`X[{g+0x∀=`X[{g∪⊂x∪≥`X[{fzpx∀≥`X[{fbPxπ]`X[{fJ0x≥`X[{f2⊂x↓≥`X[{f→px=`X[{f↓Px⊃=`X[{ei0x
=`X[{eQ⊂x∂≥`X[{e8px∩≥`X[{e Pxπ]`X[{eλ0x=`X[{dp⊂xα≥`X[{dWpxα]`X[{d?Px=`X[{d'0x⊂⎇`X[{d∂⊂x⊃≥`X[{cvpx∪⎇`X[{c↑Px∀≥`X[{cF0xπ⎇`X[{c.⊂x≥`X[{c∃px↓]`X[{b⎇Px≥`X[{be0x⊃=`X[{bM⊂x⊂⎇`X[{b4px	]`X[{b≤Pxπ]`X[{b∧0x=`X[{al⊂x↓⎇`X[{aSpxα]`X[{a;Px∞=`X[{a#0x≥`X[{a⊂ ∧R ↓;80u`∩@X ∂p9≥-F(9Hfx9λ6x7≠LV_:~.f(9H
v0⊂_.&H:≡$↓h⊂@DH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ↔⊂3\g"=[
⊗p2[Mwh⊂λ∧α⊂λ∧α⊂λV03→,7 ≥λfx9≠$ελ⊂_mvp5≥-f_:~-vp⊂λ∧α⊂λ∧α⊂λF(8→-f 2[L6H2\g":[M⊗x7λD(⊂λ∧α⊂λ∧α⊂λ∧ελ9→n3P⊂≠
⊗p2[Mr`7≠oG_:XNελ9≥∧α⊂λ∧α⊂λ∧α2YLf(1]π"8~,6X⊂≠nW ⊂_$ε_7[M'(7_nB⊂λ∧α⊂λ∧α⊂→W2[LF(7_m⊗(9NDεx3λ
FH7→-fx⊂πi∩⊂λ∧α⊂λ∧α⊂_.&89NDπX6~-f(7≠oG83→OR`≡≠
⊗p2\L⊗p3Y'b⊂λ∧α⊂λ∧α⊂→,f02XnCP⊂→Mw⊂6H∩2~.6P:[L7 4[mb⊂λ∧α⊂λ∧α⊂→W2[LF(7_m⊗(9NDπ(7~-vp∂Q$α⊂λ∧α⊂λ∧α0\Lw_≥λ
FH7→-fx_Hα2≡≠
⊗p2\L⊗p3Y'b⊂λ∧α⊂λ∧α⊂→,f02XnCP⊂~,b
λfx9≠.V`0[
⊗p2H
⊗p⊂≠
⊗p2\L⊗p3Y$ε@0\d∧_⊂_.23≠-Fλ⊂→-g 2\D∧_⊂λ∧α⊂λ∧α⊂λF(8→-f 2[L6H2\g"4YDε`4[LVp7L'Tλ_Gh∪⊂∂KEbp↔Eax [Dπ 4→-b⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α2→.π_⊂≠lb6~-f(7≠f∩∃Hfx9λ⊗`6λ
∩2→.π_⊂≠lb6~-f(7≠m∩⊗H∞F@7\lSh Z$↓λ$H∧α⊂λ∧α⊂λ∧ελ9→n3P⊂≠
⊗p2[Msλ⊗≠
⊗p2[Ms⊂⊂λ∧α⊂λ∧α⊂λV03→,7 ≥λfx9≠$ελ7λ
⊗h8≠
⊗_0]
⊗x7λ∧α⊂λ∧α⊂λ∧ε 2\Vp2→-f_4Y.3P⊂≥
εx9Y$εx3λ
FH7→-fx→λ¬R2→.π_≡YMV`0H
v0⊂≠
⊗p2[Msλ⊂∧(R⊂λ∧α⊂λ∧α⊂_.&89NDε`4[LVp7L%F`4[LVp7LDα⊂λ∧α⊂λ∧α2YLf(1]π"4YDε06H
v0⊂≠
⊗p2[Msλ≡X-g 2Xdεx3λ
FH7→-fx→λ∧π 4→-b1[mg_2\$εx3λ
FH7→-fx→λ∧α⊂λ∧α⊂λ∧ε 2\Vp2→-f_4Y.3P⊂≥-fH7[D↓p$H∧α⊂λ∧α⊂λ∧ελ9→n3P⊂≠
⊗p2[Msλ⊗≠
⊗p2[Ms⊂⊂λ∧α⊂λ∧α⊂λV03→,7 ≥λ
⊗0⊂→MSλ≡X"⊗⊂⊂_-f ⊂→MS⊂≡XB⊗λ⊂≥
ε(7λfx9≠$ελ∂_Dα⊂λ∧α⊂λ∧α2→.ε(7→Vp1Z,W_⊂∞Dπ(7~-vp⊂πHR⊂λ∧α⊂λ∧α⊂_.&89NDε`4[LVp7L%B_←ε"⊂λ∧α⊂λ∧α⊂→,f02XnCP⊂→Mw⊂6H⊗p⊂~-W6~,6λ:~-vp⊂≠nW ⊂≠lb2\.VH;_-F(7_lR⊂λ∧α⊂λ∧α⊂→W2[LF(7_m⊗(9NDεx3λ
FH7→-fx_@wαv}x1πN∂ 5␈␈xxλ]`X[{l	Px≥`X[{kq0xα]`X[{kY⊂xε≥`X[{k@px	≥`X[{k(Pxπ=`X[{k⊂0x=`X[{jx⊂x⎇`X[{j←pxλ=`X[{jGPx	=`X[{j/0xλ=`X[{j↔⊂x=`X[{i}px]`X[{ifPx
≥`X[{iN0x	≥`X[{i6⊂xπ=`X[{i≥px≥`X[{i¬Px]`X[{hm0x	=`X[{hU⊂x⊃=`X[{h<px
⎇`X[{h$Px∀⎇`X[{h0x=`X[{gt⊂x]`X[{g[pxπ⎇`X[{gCPx	=`X[{g+0x∂⎇`X[{g∪⊂x=`X[{fzpx]`X[{fbPxπ⎇`X[{fJ0x∩⎇`X[{f2⊂xπ=`X[{f→px=`X[{f↓Px]`X[{ei0xπ⎇`X[{eQ⊂x
]`X[{e8pxπ]`X[{e Px=`X[{eλ0x]`X[{dp⊂xπ≥`X[{dWpx∞≥`X[{d?Pxλ]`X[{d'0 α∀ ↓;80u`∩@X P7→,vλ:~-vp⊂≤NV`2\d∧0$H∧α⊂λ∧α⊂λ∧ελ9→n3P⊂≠
⊗p2[Msλ⊗λ
FH7→-fx→λ∧α⊂λ∧α⊂λ∧ε(3→LV_:∞DεH3λfh_O,∩0[LB3≠&#hαX$π 4→-b9→.G(9≠Dε00[∞6(⊂λ∧α⊂λ∧α⊂λF(8→-f 2[L6H2\g":[M⊗x7λλd(⊂λ∧α⊂λ∧α⊂λ↔⊂3\g"6~-f(7≠f∩`⊂≥lf0⊗∂
FH7→.&λ7→lSp⊂λ∧α⊂λ∧α⊂λV03→,7 ≥λ
⊗0⊂→MSλ≡YL⊗`9Y$π 4→-b;YLb⊂λ∧α⊂λ∧α⊂→W2[LF(7_m⊗(9NDπ 4≠n6(⊂≠lb6~-f(7≠f∩⊂↓)∩⊂λ∧α⊂λ∧α⊂_.&89NDε`4[LVp7L%B;YLb`⊂∂
FH7→.&λ7→lSp⊂λ∧α⊂λ∧α⊂λV03→,7 ≥λ
⊗0⊂→MSλ≡YL⊗`9Y$π 4→-bα]lf0⊂λ∧α⊂λ∧α⊂λF(8→-f 2[L6H2\g":~
w_2H
v0⊂≠
⊗p2[Msλ⊂$π 4≠n6(⊂∂$π83→D("H∧α⊂λ∧α⊂λ∧ελ9→n3P⊂≠
⊗p2[Msλ⊗λ∞v03∧β`6~-f(9_-f82ODα⊂λ∧α⊂λ∧α2YLf(1]π"4YDε06L'V00[∞6(⊂≥
ε(7λ∞Vp7→,r7YDπ(7≠LV8⊂≠lb;YLb⊂λ∧α⊂λ∧α⊂→W2[LF(7_m⊗(9NDπ 4≠n6(⊂≠lb6~-f(7≠f∩⊗H∞F@7\lR≡H∞v03wαv}x1πN∂ 5␈␈xxβ]`X[{l	Px=`X[{kq0x]`X[{kY⊂xλ≥`X[{k@px
⎇`X[{k(Pxπ=`X[{k⊂0x=`X[{jx⊂x]`X[{j←px
≥`X[{jGPx	⎇`X[{j/0x
=`X[{j↔⊂x=`X[{i}px]`X[{ifPx
=`X[{iN0x
≥`X[{i6⊂x
]`X[{i≥px=`X[{i¬Px]`X[{hm0x
=`X[{hU⊂x∞=`X[{h<px
]`X[{h$P ↓	 ↓;80u`∩@X ε08],⊗p:~,fH1X.FH7[L⊗`⊂≤NV`2\mfx:→$π 4→$π(9Y$εx3λ∞6x9≥∧ε 2XmFλ9_.FH7[N1 $H∧α⊂λ∧α⊂λ∧α0\Lw_≥λ
FH7→-fx_K∧πX4[LG00\OR`≡≠
⊗p2\L⊗p3Y'b⊂λ∧α⊂λ∧α⊂→,f02XnCP⊂≥-fH;→.'_0[∧ε82[LW⊂0[
↔P0]
⊗x7λ
w02\DεH7→∞fλ9λ∧α⊂λ∧α⊂λ∧ε 2\Vp2→-f_4Y.3P⊂≥
εx9Y$εx3λ
FH7→-fx_JnF@2H
w 4→.'_⊂_m↔ 2Y∧↓ "H∧α⊂λ∧α⊂λ∧ελ9→n3P⊂≠
⊗p2[Msλ⊗λ∂700\Eg 2\MWh⊗λπF 2XmFλ9_.FH7[N3p⊗λπF`4[LW⊂0[Lv(∨λ∧α⊂λ∧α⊂λ∧ε(3→LV_:∞Dπ(7~.f(9≤l⊗`⊂≤nε(1Z,⊗`4↑L↔ 4[mb⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧εH3λ∞F@2H∞F(9≠$ε_0[Dε⊂2H6x7_mG(2→,B:≠dπ_0]
↔_3≡$π 4→$π_7\NB7YDπ00\Dα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λFx⊂≥
ε(⊂≠l'04[nW_⊂≥
εH7→dε(6≤lR9→.G(9≠Dελ7λ
⊗h8≠
⊗_0]
⊗x7Dα⊂λ∧α⊂λ∧α2→.ε(7→Vp1Z,W_≥λ∞F@7\lR7YDε`4[LVp7L%7 4≠n6(⊂≠LV(2→,B3≠n":~R9[n' ⊂_l⊗`1]-Fλ:~-vp⊂¬)∩⊂λ∧α⊂λ∧α⊂_.&89NDε`4[LVp7L%B=]W⊂6H∂6p7←$¬x⊂≥L↔⊂>KπF`4[LW⊂0[Lv(∨λ∧α⊂λ∧α⊂λ∧ε(3→LV_:∞Dε(<~.7 2[NFH0[∧ε82[LW⊂0[
↔P0]
⊗x7λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂~,b:~R:→.&h⊂_l⊗p⊂_LR1[mf_6≥,F(2λ∞Fx⊂≤l↔ 4\lgH⊂≥
ε(⊂≤mw⊂:λ
v0⊂≥L↔⊂⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α2≠dπ 4→$εx1≥M⊗x:\dπ 4~-f8⊂→-G_2H∞&(:≥.&p⊂_-b4[.ε`4Xl↔ 4[mbp⊂λ∧α⊂λ∧α⊂λF(8→-f 2[L6H2\g":~
w_2H
v0⊂≠
⊗p2[Msλ∃]
εx9Y$εp2Y,F(2λfx9λ∞F@2H∞6x9≥∧ε_0[7(6_.FH7[Dα⊂λ∧α⊂λ∧α
Q$α⊂λ∧α⊂λ∧α0\Lw_≥λ
FH7→-fx_K∧πX4[LG00\OFH7→∞fλ9	kvH7→∞fλ9	dwh⊗∂
FH7→.&λ7→lSp⊂λ∧α⊂λ∧α⊂λV03→,7 ≥λW@4\nF(7≥
⊗λ6λ∞72Xm⊗λ6~/&λ:~-vp⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α4YDπ 4→$εH7→∞fλ9	dr1→$ε_7[L6`:YV ⊂≥
r9X.FH9YO∩:~R9[n' ⊂≠lb4[LG00\Dr⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧ε 7H∞F@2H
v⊂;~-w(9H∞F@4[Lr2[∞6(⊂≤LW :\Mb0[Dε_7[M'(7_nFH7[Eb⊂λ∧α⊂λ∧α⊂→W2[LF(7_m⊗(9NDπ 4≠n6(⊂≠lb6~-f(7≠f∩X:~
w_2H
f(2YV ⊂→Mw⊂⊂≥
ε(⊂≤mw⊂:λ6λ6_nV`0]
⊗x7λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧αX6~-f(⊂~.G_2[b;Z
⊗_4λ∞vH6≠∧π00[M↔_4λ
⊗p⊂≥
ε(⊂≤M⊗84≥∧ε_4\L7(6\nFλ7_lW_∧∩$α⊂λ∧α⊂λ∧α0\Lw_≥λ
FH7→-fx_K∧πX:→.&h⊂≡mfx>Hr;_.'h⊗∂
FH7→.&λ7→lSp⊂λ∧α⊂λ∧α⊂λV03→,7 ≥λ
f(;H
FH7→$ε`4ZlR⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀α∧π00\Ebp∀→MSλ∀J%π 2\MV`4\nBH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂_mvp2~.FH7[L⊗`4↑LV ⊂~,b7→,6(9\l↔⊂<H∞Fx⊂≥⊗X2H6λ9→$εx3λ∞6x9≥∞2p⊂λ∧α⊂λ∧α⊂λF(8→-f 2[L6H2\g":~
w_2H
v0⊂≠
⊗p2[Msλ∃]
εx9Y$εp2Y,F(2λfx9λ∞F@2H∞6x9≥∧ε_0[7(6_.FH7[D@"H∧α⊂λ∧α⊂λ∧ελ9→n3P⊂≠
⊗p2[Msλ⊂λ∧α⊂λ∧α⊂λ∧ε(3→LV_:∞Dπ⊂2]LW⊂9Y$εx3λ↓∧H⊂λ∧α⊂λ∧α⊂λF(8→-f 2[L6H2\g":~
w_2H
v0⊂≠
⊗p2[Msλ∧⊂$α⊂λ∧α⊂λ∧α0\Lw_≥λW@8∧πX:→.&h⊂≡mfx>Hr;_.'h⊗∂
FH7→.&λ7→lSp⊂λ∧α⊂λ∧α⊂λV03→,7 ≥λ
f(;H
FH7→$ε`4ZlR⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀α∧π00\Ebp∀→/π∀J%π 2\MV`4\nBH⊂∂$ε(<≤∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ6x7→
↔ 4[mfλ6~/&(2λ
⊗0⊂≠LV_2\n6λ9≡$π 7H∞Fλ5Y$ε_0\LR7YDπ_7\NG_↔λ∧α⊂λ∧α⊂λ∧ε 2\Vp2→-f_4Y.3P⊂≥
εx9Y$εp2Y,F(2λfx9λ∞F@2H∞6x9≥∧ε_0[7(6_.FH7[H4x&S(Tp*∪∧α⊂λ∧α⊂λ∧α⊂_.&89NDβ`9]∞&H7→gb⊂λ∧α⊂λ∧ε(3→LV_:∞DεH7≤lW⊂:≤dελ9H∩1[mVh2[NB0H
FH7→$ε_7[N6H9]
⊗p3H
v0⊂≥
ε(⊂≤nG⊂4[Lrpwαv}x1πN∂ 5␈␈xx¬]`X[{l	Pxλ=`X[{kq0x≥`X[{kY⊂x⎇`X[{k@px=`X[{k(Px
]`X[{k⊂0x∞=`X[{jx⊂x=`X[{j←px]`X[{jGPx⊂≥`X[{j/0x
]`X[{j↔⊂x∩⎇`X[{i}px⊃≥`X[{ifPx∪]`X[{iN0x=`X[{i6⊂x]`X[{i≥px
]`X[{i¬Px≥`X[{hm0x∩⎇`X[{hU⊂x⊃≥`X[{h<px∪]`X[{h$Pxα]`X[{h0x]`X[{gt⊂x∂]`X[{g[px≥`X[{gCPx∪⎇`X[{g+0x⊃≥`X[{g∪⊂x∪]`X[{fzpx∪⎇`X[{fbPx≥`X[{fJ0x]`X[{f2⊂x
]`X[{f→pxλ≥`X[{f↓Px=`X[{ei0x⊃⎇`X[{eQ⊂x∪]`X[{e8px=`X[{e Px]`X[{eλ0xε≥`X[{dp⊂xπ⎇`X[{dWpx
≥`X[{d?Px≥`X[{d'0x]`X[{d∂⊂x]`X[{cvpxλ≥`X[{c↑Px]`X[{cF0x⊃⎇`X[{c.⊂x∂=`X[{c∃px≥`X[{b⎇Pxα=`X[{be0xε≥`X[{bM⊂x⊃=`X[{b4p β⎇↓;80u`∩@X ∞⊂1[mVh0[LB9↑-g 0↑∧ε07\Dε(5[
FH7→.&λ7→lR4\dελ⊂≠
↔_:λ
v0⊂≠
⊗p2[NVh1→.'_⊗λ
Fλ1→-G_⊂→Mw⊂⊂≠nF@2\Dε`4\nG_⊂≠lb6~-f(7≥-V⊂2\N6λ7→∧εH7≥W⊂;_-G_⊂≠
⊗X2Hε∪P∃λ
w⊂⊂
π#@⊂→Mw⊂⊂→/ελ6\
F(≥H¬ε`4\nB_H∧vλ⊂dα8≠NG∩↔E∩_⊂~-f 4Xl↔ 2\dπ 4→$π7Z-g ⊂_.B;Z
⊗_4λ∞v(⊂_l⊗p⊂≤nFλ9≥∧ε 2YL↔(6≥
⊗p3H
⊗p⊂≥
ε(⊂→LW@8≤Dε07\MW_↔≥
π(9HvH;→-b0Hf(<≤∞"1X-F`⊂≠
⊗X2H¬ε07[dελ0H∧24~∧εH4J$π 4→-b0[
B7YDπ 4→$ε07[
Fx;Z-f8⊂_l⊗`6≤dελ9→$ελ6≠
w82Yπ"∀→Mvx⊂_,∩H⊗λ¬ε07[dελ0H
ε@∀K∧ελ7→∧α@3≠mr0X$ε@4λ
⊗H∀KLF(1[∞7 ⊂~.27YDπ 4→$ε07\MR=J
fλ6Y$π <\R⊃H∞7H7≥∂↔2H∞6x9≥∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂~-f04↑
⊗p3≠dε⊂4[LFH7→nεx;Y."0\n6x1Z-f07J/W 2\MW_6≤nB4\dεx3λ∞F@2Hfx9≠$πX;_."p:→.&h>H∧α⊂λ∧α⊂λ∧α∀≡ebp>H
V(0[N20[Dελ9_M↔ 9_.&H6≡$ε`7[Lr6~.7 ⊂≠lb:~
⊗p3\dεx3λ∞F@2H∞GH8→$αp↔
.F(9≠.7(9XNF`9]∧εH9H
v0⊂≥
ε(⊂→Mw⊂6H∂7 2\MRp;_."p7Xl7_>[l6_9H
↔_⊂→-↔ 4→.":λ¬ελ6≠∧εx1].'⊂2[L6(9J$εx9λ∩6~.7 ⊂≠lb3~/εp:[.700\N7(1≤nF`9]∧εH9H
v0⊂≥
ε(⊂→Mw⊂6H∂700\Eg00\OV04[Vp0[,R4_.27[LR7YDπ 4→$ε07[
Fx;Z-f8⊂→Mw⊂6\g"⊂λ∧α⊂λ∧α⊂≠L⊗h2H
w⊂⊂≠L⊗h2HW@:λ
w⊂⊂≠L⊗h2HW@:λ∞π⊂7ZDπ9≠lr∀→V00]-G ⊂∞Dαp8≤Lb-\∞&x5∧π9≠luh∀[Mw 2H∞F@0]∧π 4→$εH7≥W⊂7_-B6~.7⊂→Mw⊂6Hfx9λ⊗`6λ
FH7→$εh0[M↔:[↔ 4[mb1[mVh0[LG_⊂~↔02H∞F@2\mελ8→$α@≡_mV ∨λπFλ9→n3p⊂∂
FH7→.&(3→.&(7_lW_∨
,W02\O∩6~-f(⊂_mvh6X-f ⊂~↔_⊂_$ε`7[Lr2↑∞π⊂⊂→Mw⊂6H
⊗p⊂≥mεH1Z∧ε(;→.'H:~
⊗p3H
↔_⊂→.fλ6≥,↔ 2Y⊗p2λ∩9Z
w⊂:→."3→/π9λfx9≠$ε07\MR;Z
⊗_4λ⊗`6≠nr0].Fx6X.FH1X-F`<Hfx9≤↔⊂9Z-f8⊂≠lb:~R4[Nπ(:λ⊗p2λ∞fλ9~-w(9HF(3_.V`:≤eb#≠n"2↑⊗h8≠R`⊂≥mε(7λ∞F@2H
FH7→.&λ7→lR4\dπ(9Y,B:≠dπ_2]∧π 4→$ε_7[NF(<≥∧εx3λ∩6~-f(⊗λ∞v(⊂≥.6(⊂≥
ε(⊂~-g 2\Mfλ6λGH7_-VH1X-F`<Xmελ7→m⊗p3Hv`7XL⊗`⊂_mvp:→/π ⊂_.20HF(3_.V`:D¬_4[-⊗`0\MGH⊗λ∩6~-f(⊂≠NVh1→."6X/∩2→,fλ:[∞B:≠dπ 7H∞F@2H
Fλ9]∧ε`4[LR7YDπ 4→$ε_:\N&(7≥∧π9≠mv0↔≤↔⊂9Z-f8⊂_-G_7H
v_1].'_⊂~-b:~R2↑∞π⊂⊂→Mw⊂6\dπ(7≠W_9H
vp2H∞6(:≤dπ 4→$ε86≠l&λ6≤↔⊂9Y,f`0Ydπ 7H
fH6λ
vp2H
Vx9→$π2XnV`4X.&H:≡$εx3λ
FH7→.&λ7→lW_⊂~-b3→/π9λfx9≠.3P:~R6_.7 ⊂≠
⊗p2\L⊗p3Y$ε`4\nB4\dεp7]∧π0\LVp:~W_4↑LV ≥≥
π(9H
vp2H∞w⊂4]W_⊂
F(1Z,F(⊂≥lf0⊂
fx7Hε∩→
$β⊂→HεB3[mrH⊂→Mw⊂⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬ε(2→,6H2→$α8;YLb∪Jfx7Hε∩→
$α8∀F2~λvx7J%⊗H3λV 2Xm⊗ 2H
↔_⊂≥
ε(⊂→/π9λfx9≠$εx3λF(1Z,F(wαv}x1πN∂ 5␈␈xx¬]`X[{l	Px≥`X[{kq0x∩=`X[{kY⊂x⊂≥`X[{k@px≥`X[{k(Px∩]`X[{k⊂0x∩≥`X[{jx⊂x∂=`X[{j←px≥`X[{jGPx=`X[{j/0x⊂≥`X[{j↔⊂x≥`X[{i}pxλ⎇`X[{ifPx∩≥`X[{iN0x≥`X[{i6⊂x
⎇`X[{i≥px≥`X[{i¬Px
]`X[{hm0x≥`X[{hU⊂x	≥`X[{h<px≥`X[{h$Px
≥`X[{h0x=`X[{gt⊂xπ=`X[{g[px≥`X[{gCPx∪≥`X[{g+0x	=`X[{g∪⊂x≥`X[{fzpx∩≥`X[{fbPx∞⎇`X[{fJ0x⊂=`X[{f2⊂x∪⎇`X[{f→px∪]`X[{f↓Px	]`X[{ei0x≥`X[{eQ⊂x⊂≥`X[{e8px∧≥`X[{e Px≥`X[{eλ0x=`X[{dp⊂x]`X[{dWpx=`X[{d?Px⎇`X[{d'0x
⎇`X[{d∂⊂x	=`X[{cvp β∨↓;80u`∩@X ⊂![mVh0[LG_⊂→Mw⊂⊂≤∞&x7YDεh0[M↔:[↔ 4[me 4→.6(⊂_.&(⊂→LW@8≤Dε07\MW_↔∀lW02\L⊗`⊂≤∞&x7YN21X-b1→$ε_7Y/εH9]∧π 4→$π_0[,R:~-V(≥HVλ1Z∧π9≠mv0⊂~↔_⊂_$εp0[,Rp*~R:\lW⊂⊂~↔_⊂≥
ε(⊂≤
w82\Dπ 7H∞784]6@⊂_LW ;Y,Vp⊂≥
ε(6K∧π 7H7⊂2X.F(⊂≠LW8⊂≠mf(9K∧π 7H6x7_l↔ 2[L↔ 2H∞π⊂7[lg_⊂→.F_↔
∞7 0\NB8≤Mvx3≠L⊗h2J,V03→,7 ≥λ∩7→.r8≤Mvx3≤nG⊂:XnG(9→$εH9H7⊂2X.F(2∧ελ2→V ⊂≥
r:~R8≤Mvx3≥⊗⊂6→$α⊂λ∧α⊂λ∧α0[LB9Y.B:≠dε⊂2H∞F@2H7(9≤LVp:≠∂∩0XnFH;→$π9≠mv0⊂
∞784]6@⊂≤∞&x7YMfλ6Y%⊗(3→LV_:∞Dπ 4→$π9≠mv0⊂∂∞π⊂7[lfp0[,Sp⊂~.29Y.B:≠dε⊂2H∞F@2H7(9≤LVp:≠∂∩0XnFH;→$α⊂λ∧α⊂λ∧α8≤Mvx3λπ24YDεp7H∞7(1Z∧π9≠mv0⊂→/εH9]∞2`⊂≤nFλ9≥∧ελ⊂≤∞&x7YDπ84]
α:~↔ ⊂≠L⊗h2H¬ε_0[L6(6λ∞π⊂7[lfp0[,RH2YLf(1]π":~R8≤Mvx3λ∞vH:~∧π 4_.B7_-V(⊂~.22→-F(:→,B3≤Mvh⊂≥
ε(⊂≤∞&x7YDπ 0XMF(⊂
∞&(7_-V(⊂_mvp9]ε∩1[mg_:Dα_⊂≤∞&x7YMfλ6Y%⊗(3→LV_:∞Dπ⊂2[L⊗h2\dπ 4→$ε_7[N7 _H∞Fx⊂_LR1[mg_:Dπ 4≤Mw(3Z
w(:λ∞F@2H∞π⊂7[lb@;_.'H⊂_mvp9]∧α_⊂≤∞&x7YMfλ6Y%⊗(3→LV_:∞Dεh0ZlW_⊂≥
ε(⊂_mvp9]⊗p:λ∩;_.&H0XMF(⊂≥
π⊂7],v@7].B:~R8≤Mvx3
F(6→.F(⊂λdε`4[LW⊂0[Lv(∀Y,f02XnCP⊂≤LVh7]LR0[
B9]W9H
⊗p⊂≥
ελ:λ
FH7→.&λ7→lR0[LB0[
B:~R9]W9H∞F@0]∧ε 2\Vp2λ∧α⊂λ∧α⊂λ∧εx7λ∞F@2[$αp⊂→V00]-G ≥λ∞F@2H
Fλ9]∧π_:→.α∀_mw<H∞π⊂7[lfp0[,Sλ⊂≤∞&x7YMfλ6Y&"⊃H
FH7→.&λ7→lRH2YLf(1]π"1[nεH2\dελ6≠∧π 4→$ε`4[LW_⊂→N&x6H
FH7→.&λ7→lR∀→V00]-G ≥λ⊗`6λ
FH7→.23≤Mvh⊂λ∧α⊂λ∧α⊂≤∞&x7YMfλ6Y&∩H⊂_-f ⊂≠
⊗p2\dπ 4_.B:~WH⊂→W2[LB7[Dελ⊂≠LW8⊂≤∞&x7YDπ9≠mv07_-V(→
∞G⊂0[N602\Dε`4[LW⊂0[Lv(⊂λdε`4[LVp7J,V03→,7 ≥λ∞G⊂0[N602\Dελ6≠∧ε`4[LW_⊂→N&x6H
FH7→.&λ7→lR0[LB:~R6~-f(9Hπb6~-f(7≠dα⊂λ∧α⊂λ∧α:~WH⊂→W2[LB7[Dελ3≥W⊂⊂≠
⊗p2[Mrp∀≠Mw⊂6X-FH=→$α_⊂≤∞&x7YMfλ6Y%⊗(3→LV_:∞Dεp7\MVλ6~/&(9H∞F@2H∞π⊂7[lb4[Dπλ:Y.7 4[m`wαv}x1πN∂ 5␈␈xxπ⎇`X[{l	Px≥`X[{kq0x¬]`X[{kY⊂x⊂⎇`X[{k@px⊂⎇`X[{k(Pxε]`X[{k⊂0x≥`X[{jx⊂x∧=`X[{j←px⊂≥`X[{jGPx]`X[{j/0x=`X[{j↔⊂x∧]`X[{i}px∂⎇`X[{ifPx⊃⎇`X[{iN0x=`X[{i6⊂x∧]`X[{i≥px⊂=`X[{i¬Px≥`X[{hm0xλ]`X[{hU⊂x∂≥`X[{h<px≥`X[{h$Pxε≥`X[{h0x∞]`X[{gt⊂x≥`X[{g[px¬≥`X[{gCPx∩≥`X[{g+0x
]`X[{g∪⊂x=`X[{fzpx
≥`X[{fbPx⊃=`X[{fJ0x∩≥`X[{f2⊂x≥`X[{f→pxπ=`X[{f↓Px⊂≥`X[{ei0x	]`X[{eQ⊂x≥`X[{e8px¬⎇`X[{e Px
≥`X[{eλ0 α<`↓;80u`∩@X 
P \∞ε`<Z-f8⊂≤∞&x7YN2:≠dεx:~W⊂⊂≤∞&x7YN20[LB2→.6_9~.π 4[mb7YDπ 4→$ε87X-B9]∞'(1]∞W⊂4[Lu 4→.6(⊂_.&(⊂_,vλ4[Dε02↑∞π⊂⊂→Mw⊂6\ee 4→$εh7\nB4[.εx9≥⊗p:λ∞F@4[Lr4\dπ 7H
fx:→$π 4→$π(9Y$εx3λ∞π⊂7[lg_⊂_.27\W⊂0]
w⊂9H
vp⊂≠nF@2\Nπ⊂7[lg_≥λfx9λ⊗p<H∞π⊂7[lb;Y$ε@0]LR0\n6x1Z,↔ 2Y∧π 7H
↔ ⊂~.G_⊂≤∞&x7YDε07\MSX⊂_$ε`4\nB7YNF@2Hfx9≠$α@∀≠
↔_:λ
v0⊂_.7_:[.π 4[mg_⊂~-b7\LF(9
$ε_7[L6`:\m⊗x7
%b*~R1[mVh0[LB⊂λ∧α⊂λ∧α@9Z
w8⊗\∞&x7YEV07\MR≡≤∞&x7YEVp0[,Sp∀Y/ε@4XM↔ 9H∞F@4\dε`4\nBp*~R1_.6H1H
w2\L↔ 7\Dεx7λ∞π⊂7[lg_⊂~.2:~R⊃_.π6≡$"7\W⊂0]
w⊂≥λ∞F@2H6x6[,⊗p2λ∧α⊂λ∧α∀_.π6≡$β`8≤Mvx3-fλ6Y'b≡→W2[LF(7_m⊗(9ODβ`1[mg 2↑∞Cp⊂∂6x7_mG(9Z-vp∨
.&(:≤M⊗(;→.2:~R8≤Mvx3,fx9≠%B6X.F_4→.2:~R2→.ε(7→Vp1Z,W_⊂_m↔ 2Y∧π 7H∞F@2H↔_9]-W:~-vp9[lb:~R8≤Mvx3λfx9≠$ελ7→∧π9≠lG(1Y.2:~R0\∞π⊂7\∞&H0]R1[mf_6≥.6H7[DεH3λ∞7(1XlW_3≥-Bp2↑⊗h8≠R≥λ
⊗0⊂≥
ε(⊂≤∞&x7YDε07[dε_7[N6H9]∞27YDπ 4→$ε`4[LW_≥λ∧α@0\n7(6Y$πα≤%∩∀↓R_J.F@2[Dελ8≤
GH4[Lr3≠mr:≠dπ@α≡$ε84]LW_⊂≡¬dλ⊂≤∞&x7YDεh0↑$ε⊂2H↔_9[l6H0]V ⊂≥m↔ 4λ∩3[l⊗`↔⊃M↔⊂9]∧εx3λ⊗`6∧π82H
f(2Y∧ελ⊂→L⊗_4[
↔ <H∞Fx⊂_n&(0]R0HF(3→.'⊂2Y∧ε87X-F09≠mR0HvH;→-b9Y.B7YDελ9\nVh8≥
⊗x7≤g":~R1[mVh0[LB⊂λ∧α∀→V02\EV87X-B≡≥lf0∨λπF 2\Vp2→-f_4Y.3p⊂∂6x7≥W@:∂E∩4[NG⊂7Y∞V_2\dελ⊂≠LW8⊂≠
⊗p2H∞vH:~∧π 4→$π83→Dελ9H
↔ 9Hfx9≠.V`0K∧ε 2\Vp2→-f_4Y.20\dεH:≤dε 2\Vp2→-f_4Y.20[LB0H
fx:→$π_:_.FH7→dπ 4_.B4]∧εH9H∩2→,f(9≤LV ⊂→mvλ6JF@2H6x6[,⊗p2λ∧α⊂λ¬ε⊂<HπG9≠mv0⊗[L⊗h2ODβ`2→.ε(7→Vp1Z,W_∨λπF_7[NF(<≥πb≡_mvp1[∞W_4[mcp∀H∞v@2\LR≡_mvp1[∞W_4[mcp⊂∂$β`6~-f(7≠dεx3λ∩2→,f(9≤LV ⊂→mvλ6∂N&(8≠⊗_2\dπ 4_.B6~-f(⊂≥m↔ 4λ∞F@2H
FH7→$ε87]∞F(7λ'H⊂_-b0\∞ε`<H6x6[,⊗p2λg⊂7[$π 4→$π9≠mv0⊗YMw⊂6H
v0⊂≥
ε(⊂≤∞&x7YMfλ6Y$εH3λ∞F@2H
Vλ:_mε(9H∞v(9→$π_:Xl6(9YNV`↔∪nF@2\Dπ80↑.27YDε(6~-VH7_.FH7→dε87X-G_≥λ
F@2H6x6[,⊗p2≤dα⊂λ∧α⊂λ∧α⊂λ¬ελ1]
↔00]Rh3[l⊗`⊂∂
FH7→-fx∨
$ελ7→∧α@2≠mf(∀X.&(⊂≥
r1→$π0Z.&(2∞D¬ 4→$ε04\N7 ⊂_n&(0]W_⊂_$εp2]dπ9≠mv0⊂≥m↔ 4λ∞F@2HF(3→.'⊂2Y∧ε87X-Fx3λ
FH7→-fx⊂_.24]∞23[l⊗`↔λ
F@2H∞6(1[mf ⊂≠,↔ 1ZW_⊂≥
ε(⊂≠↔_:λ
FH7→$εx3λ∞F@2H7(9≤LVp:λ∞π⊂7[lf⊂<H∞F@2H7(9≤LVp:λvx0[∧ελ7→∧εH3λ∞7(1XlW_3≥-B`⊂≤
w9H∞F@0]∧ε87X-B7YLb:~R3[l⊗`⊂≤nFλ1Zl⊗p2λ∞&(8≠⊗_2H∞F@2H6x9≤LW_8≠mf 4[Lr2→,f(9≤LV ⊂→mvλ6λ'H⊂_$π_:Z.Fλ1≠R⊃_.π6≡$"6~-f(⊂~-b:~W9≠mv0⊂≥
ελ:λ∞v(⊂≤nFλ9≥V ⊂→N&x6KJF@2H6x6[,⊗p2λ∧α⊂λ∧α⊂λ∧α∀≤LV :XlRh3[l⊗`⊂∂
FH7→-fx∨
,7⊂2X.F(9H∩7→.r8≤Mvx3λ∞vH:~∧π 4→$ε 2YLW⊂9→,B3[l⊗`⊂≠lb6~-f(7≠dε`7Ym⊗_0[
GH⊂≤LV :XlV ⊂≥
r0H∞6(:λ
v0⊂≤nV⊂3[l⊗`9H∞v@4Xmα;Z-F`⊂_LR6~.7 2Y∧ελ9YV02\N&(2λvx0[∞27YDπ 4_.B8≤Mvx3λ⊗p2λ∞F@2H
w⊂4Ym⊗p0[∧ε 2YLW⊂9→,B3[l⊗`⊂~.29→.ε`0XlV ⊂_O⊗λ⊂≤nVH:_,&`2H∧&λ8≤
GH⊃λ∞7 0]Vh2[NBp⊂∃
εH9H6x6[,⊗p2λ
Vλ<H⊗_1Z,F(7≥⊗`6≡,Vp2λ∞W⊂≤∞&x;~-f8⊂≥
ε(⊂→-g 4\LR3[l⊗`↔∃
ε(⊂_mvh6X-f ⊂λ∧α⊂λ∧α⊂λ∧α@5Z-F`⊗Ymvλ6
$εX4[
G_⊂≥
ε(⊂→mvλ6λ∞F@7],v@⊂~.B9→.Fλ4[N2:~R0\n6x1Z,↔ 2Y∧π9≠mv0↔wαv}x1πN∂ 5␈␈xx⊃⎇`X[{l	Pxπ≥`X[{kq0x∩⎇`X[{kY⊂x∩≥`X[{k@px⊂=`X[{k(Px≥`X[{k⊂0x	]`X[{jx⊂x≥`X[{j←px∧⎇`X[{jGPx⊂=`X[{j/0x≥`X[{j↔⊂x⊂=`X[{i}px≥`X[{ifPx∩⎇`X[{iN0x⊃⎇`X[{i6⊂x⊃]`X[{i≥pxλ=`X[{i¬Px≥`X[{hm0x	]`X[{hU⊂x∞]`X[{h<px≥`X[{h$Px≥`X[{h0x=`X[{gt⊂x≥`X[{g[px⊃⎇`X[{gCPx∞⎇`X[{g+0xα⎇`X[{g∪⊂x≥`X[{fzpx∂=`X[{fbPx≥`X[{fJ0x≥`X[{f2⊂x⊃=`X[{f→px∞]`X[{f↓Px≥`X[{ei0x]`X[{eQ⊂x≥`X[{e8px]`X[{e Px≥`X[{eλ0x⊃]`X[{dp⊂x∪≥`X[{dWpx⊃⎇`X[{d?Px∪=`X[{d'0xε⎇`X[{d∂⊂x≥`X[{cvpxβ≥`X[{c↑Px≥`X[{cF0xλ≥`X[{c.⊂x≥`X[{c∃px
⎇`X[{b⎇Px∩≥`X[{be0x∩]`X[{bM⊂x∞⎇`X[{b4pxπ⎇`X[{b≤Px≥`X[{b∧0xβ≥`X[{al⊂x≥`X[{aSpx¬]`X[{a;Px≥`X[{a#0x
]`X[{a⊂ ∧⊗ ↓;80u`∩@X ∂p1[mg 9≠mB`⊂~-r0[LB2[NfH9≠mfh2[NB4[N↔(4\M⊗(9]
ε(9Y$ελ9→$ε02↑∞π⊂⊂→Mw⊂6\eb@:≠nαh6→.f(6
,V03→,7 ≥λv(:≤dπ 7H∞F@2H∞Fx8λ
F(;→-B:≠dε(5[π22≠d¬p3H∞Fx⊂→mr6X,6`4\nα@2→,f(9
,V03→,7 ≥λ∞Fx⊂≤∞W_4λ∞F@2H∞π⊂2]M⊗x:\dε_7[-Vλ7→∧εx7λ∞F@2H6x6[,⊗p2λ∞7 0Xm2⊂λ∧α⊂λ∧α⊂≥.6(3≥-B;ZVp⊂~.B3_-⊗`2Y∧ε⊂2Xl↔(9Y$εx3λ∞Vp2→,6`0\LV ⊂≤o⊗p:_,7 4Xdα⊂λ∧α⊂λ∧α2[NFH:~,W_≥λF(3→.":~R1[mVh0[LB`⊂→V_6_.&(⊂→.f(9≡.F@4[Lr0[LB9→.7(6Y$α@9→.7(6Y%⊗(3→LV_:∞Dε(<→,7(:→$π 4→$ε_7[-Vλ7→∧εx7λ∞F@2H∞Fx8λ
v0⊂≥
ε(⊂≤nFλ1Zdελ7→∧π7\∧εH:
6`2X."h9]⊗_5J,V03→,7 ≥λ6`2X.'_⊂≥
ε(⊂_mvh6X-f ⊂≤nFλ1Zeπ_4≠nrh0[
B⊃H
FH7→.&λ7→lRH∀≤mεx;K,↔@4[mW_⊂λdε`4[LW⊂0[Lv(∀J∞6@7]eVλ9\nVh8≥
⊗x7≤dα_⊂≠
⊗p2\L⊗p3Y%∩@9Z
w8⊗[L⊗h2Xmvp:→/π ⊂λdε`4[LVp7J%π_4≠nrh1[mg 2↑∞B⊃H
FH7→-fx∀J∞6@7]eV 2XmFλ9_.FH7[N2⊃H
FH7→.&λ7→lRH∀≤mεx;K,F(3~-fH:~-vp9H∧α_⊂≠
⊗p2\L⊗p3Y%∩@9Z
w8⊗Xmvh6X-f 9H∧26~-f(9_-f82J%π_4≠nrh9]⊗_5J%π_4≠nrh8≤Mvx3≠L⊗h2\e⊗(3→LV_:∞Dπ9~-g ⊂≠mb:≥∂∩:~R4[LFH1X.F(2λ∞F@4[Lw_⊂λ∧α⊂λ∧α⊂λ∞6@7]eW9≠mv07_-V(9H∞vH6≠∧ελ6≤mr8≤M⊗p:λ∞F@2H
fλ6Y$εx3λ∞F@2Y$ε_:\N&(7≠∂∩0XnFH;→$π9≠mv0↔
∞6λ;→%W9≠mv09HfH6→-fλ6Y%⊗(3→LV_:∞Dε 2\nG⊂:XnFH;→-GH⊂≤∞&H7≥∞22[NFH9→$π9≠mv0:_,&`2H
vp⊂→M⊗`2H∧α⊂λ∧α⊂λ∧εH7λ∩3≠n&h⊂≤nVH:_,&`2H∞Fx⊂_LR9→.G⊂4Y.f(2λ
Fλ:→."@3Y.Bh8≤Mvx3≤dε04[Vp0[,RH2YLf(1]π"9→.G⊂4Y.f(9H⊗`6λ∞F@2H∞π⊂7[lg_⊂→N&x6H∞F@2HfH6→%B9→-fλ6Z-f8⊂≥
ε(6H
⊗0⊂≠LV_2\n6λ9≡$π 7H∧α⊂λ∧α⊂λ∧α0]MvH2λ6`0\mε(9KEπ9→.G <K.π⊂7[lb8≤Mvx3≠L⊗h2HfH6→-fλ6Y%⊗(3→LV_:∞Dπ9→.G <H∞π⊂4[NFH7→dελ⊂≤∞&x7YDεx7λ∩3~-F(≥λ↔8→-f 9H∞F@2H∞π⊂7[lb7[Dελ⊂≠LW8⊂≤⊗82X.B:~R2[LB4YDπ 4→$ε04[R0[∞&(0Y∂∩2↑
↔_:≤eb∀≤∞&x7YEW83→EVx3λ
bH⊂λvH;→.20H6x8≡$εx3λ∞F@2Hfx9≠.V`0H
v0⊂≥
ε(⊂≠NF@⊂≠
⊗p2H
v0⊂≥
ε(⊂_nW⊂9→-g 6≡$ελ1]
↔02H∞π⊂7[lb4YDπ 4→$ε`4[LR4\dεp7]∧ελ⊂→Mw⊂6]-Fλ6~-f(⊗λ∞&(:≥.&p⊂≠M⊗`↔→.'⊂7\DεH3λ
fx⊂≤nV_4λ
FH7→$ε(<~.7 9J∞π⊂7[lbh1[,Bh7YDεp∀]
ε(⊂_mvh6X-f ⊂≠L⊗h2H
⊗p⊂≥
ε(⊂≠NF@⊂≠
⊗p2H¬π9≠mv0⊗Xmvp:→/π ⊗[
⊗p2\eVx3λ
bH:~R6~.7 ⊂≠lb6~-f(7≠n24[Dπ 4→$ε_7[NF(<≥∧εx3λ∞F@2H
g 4λ
FH7→$α@8≤Mvx3,F(8→-f 2[L6H2\eVx3λ
bH:~R6~.7 ⊂≠lb6~-f(7≠n2:~↔ ⊂≥
ε(⊂≠
⊗p2HF(8→-f 9H
vpwαv}x1πN∂ 5␈␈xx	=`X[{l	Px¬]`X[{kq0x≥`X[{kY⊂xα⎇`X[{k@px∞=`X[{k(Px≥`X[{k⊂0x↓⎇`X[{jx⊂x∞=`X[{j←px∂⎇`X[{jGPx⊃≥`X[{j/0x=`X[{j↔⊂xα≥`X[{i}px∂]`X[{ifPx≥`X[{iN0xβ=`X[{i6⊂xλ≥`X[{i≥px≥`X[{i¬Px¬]`X[{hm0xε=`X[{hU⊂xπ]`X[{h<pxε⎇`X[{h$Px¬⎇`X[{h0xπ⎇`X[{gt⊂xπ⎇`X[{g[pxε⎇`X[{gCPxβ≥`X[{g+0x∧=`X[{g∪⊂x
=`X[{fzpx∀=`X[{fbPx≥`X[{fJ0x¬]`X[{f2⊂x
]`X[{f→px]`X[{f↓Px≥`X[{ei0x¬=`X[{eQ⊂x∪]`X[{e8pxε≥`X[{e Px≥`X[{eλ0xλ=`X[{dp⊂x∩]`X[{dWpx	]`X[{d?Px=`X[{d'0x∧]`X[{d∂⊂x∩]`X[{cvpx=`X[{c↑Pxπ≥`X[{cF0x≥`X[{c.⊂x∧≥`X[{c∃pxλ≥`X[{b⎇Px=`X[{be0xε]`X[{bM⊂x]`X[{b4px=`X[{b≤Pxε=`X[{b∧0x≥`X[{al⊂ βε↓;80u`∩@X ∞p:→-W6_.F(9Hfx9λ∞F@2H
FH7→$εh0[M↔:[↔ 4[mb1[mVh0[LG_:~WH⊂_,f02XnB2→.7 9≥,7 4]LV`<H∞F@2H7(9≤LVp:λ∞π⊂7[lb4YDπ0\N6(3≠⊗8⊂~.2:∧π0\N6(⊂→.f(9≡.F@4[Lr4[Dπ 4→$ε(<≤∞"3≠n&h9Nm⊗p⊂≥
ε(⊂→LW@8≤Dε07\MW_⊂≤↔⊂9Z-f8⊂_-G80↑.27Xl7(9≤nF@2HfH9≤nB1[mG(6[DεH9H∞F@2HW@8≤Dε07\MW_⊂_-f ⊂≥
ε(⊂≤lV_7[LB1[mG(6[DεH9H∞F@2Hf(<≤∞"3≠n&h2→,fλ:[∞G_≥λ6x7≥W@:.6(:≥
⊗p3H
FH7→.&λ7→lW_⊂→V00]-G ⊂≥
r7~-B:~∞W_⊂λNπ⊂2\lW⊂;~-f8⊃λ∧α⊂λ∧α⊂λ∧α⊂≥
ε(⊂_nW⊂9→-g ⊂→mFx1_-B1[mg 2↑∞B⊂λ∧α⊂λ∧α⊂λ∧εx9→W⊂⊂→V00]-G 9H∞Fx⊂≠M⊗`⊂$εp7H6@0[Lv(⊂≥
r7\LF(9λ∧α⊂λ∧α⊂λ∧α⊂≠
⊗p2[NVh1→.'_⊂→V00]-G ⊂≥
r:~R6[n7 ⊂≤LV_2[NB6~-f(⊂λ∧α⊂λ∧α⊂λ∧α7Xl7_⊂→mr:≠dπ ⊂
⊗`6λ
v_1].'⊂2[L6(9J$α⊂λ∧α⊂λ∧α⊂λ∞7H7≥∂↔2H∞Fx⊂_mvp9]⊗p:λ∧α⊂λ∧α⊂λ∧α⊂≤mw⊂:λ∞Fx⊂≥-fH;→.'_0[∧α⊂λ∧α⊂λ∧α⊂λ
⊗p3~/εH7→Mr∀≥mεH1Z∧ε_0[Dε⊂2H∞π⊂2YM↔@⊗λ
⊗p3~/α7\Dε⊂4[LFx8
$π 7H∞π⊂2YM↔@⊂λ∧α⊂λ∧α⊂λ∧α1~-f 4[Lw7]lW⊂⊂≥
rπ
Vλ9\nVh2H∞v03λ
FH7→.&λ7→lRH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
↔_9]-V(⊂≥lf0⊂λdε`4[LW⊂0[Lv(∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@9X.7_:[,R;YLb⊃H
FH7→.&λ7→lRH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬π_0↑
⊗x6H∞v03λ∧26~-f(9_-f82J%ε(0↑
⊗x6H∞v03λ
FH7→.&λ7→lRH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀_/εH7[$π83→Dα_⊂≠
⊗p2\L⊗p3Y%∩@2YV04[LR0]∧π 2\MR6~-f(9_-f82J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@2→,fH7→$ελ:λ∞F(9≠$α_⊂≠
⊗p2\L⊗p3Y%∩@2A
∩6~-f(9_-f82J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@α~$ε`4[LW⊂0[Lv(∀JP 2H
g(6XLW⊂⊂≠
⊗p2[MrH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
F(⊂≠NVh1→."⊃H
FH7→-fx∀JQx4H∞v03≠∞7 ⊂≠n& 2\Dε`4[LW⊂0[Lv(∀H∧α⊂λ∧α⊂λ∧α⊂
βvH⊂≥lf0⊂λdεx9→W⊂⊂≠
⊗p2\L⊗p3Y%∩@2GlR6~-f(7≠dε`4[LW⊂0[Lv(∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
βv(⊂≠
⊗p2[Mr6~-f(9_-f82J%ε(λZ$ε`4[LVp7L$ε`4[LVp7LE∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∧-∩6~-f(7≠f∩⊃H
FH7→-fx→
%ε(λY$ε`4[LVp7L$ε`4[LVp7LE∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∧,R6~-f(7≠f∩⊃H
FH7→-fx→
%ε(∂~$ε`4[LVp7L$ε`4[LVp7LE∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀πM∩6~-f(7≠f∩⊃H
FH7→-fx→
%ε(∂→$εp:[,&(9λ
FH7→-fx∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬↓p2H
g(6XLW⊂⊂λdε`4[LVp7J%ε(3~$ε`4[LVp7L$ε`4[LVp7LE∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀→M∩6~-f(7≠f∩⊃H
FH7→-fx→
%ε(3→$π83→Dε`4[LVp7H
FH7→.&λ7→lRH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬ε02H∞v03λ∧26~-f(7≠dε`4[LW⊂0[Lv(∀JP(4H∞v03λ
FH7→-fx⊂≠
⊗p2\L⊗p3Y%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂
VH⊂≥lf0⊂λdε`4[LVp7H
FH7→.&λ7→lRH∀→ V(⊂≥lf0⊂≠
⊗p2[Mr6~-f(9_-f82J$α⊂λ∧α⊂λ∧α⊂λ∧α∀↓,R;YLb⊃H
FH7→-fx⊂≠
⊗p2\L⊗p3Y%∩@2E
∩;_.&`9]∧ε`4[LVp7J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@
~$π00\MG_:λ∧26~-f(7≠e∩@2ER:→.&h9[∞7 ⊂≠
⊗p2[Mr6~-f(9_-f82J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
αF(⊂≥L↔⊂⊂λdπ 2\MR6~-f(7≠dε`4[LW⊂0[Lv(∀JQ(4H∞F(9≠.7(1≤nF`9]∧ε`4[LVp7H
FH7→.&λ7→lRH⊂λ∧α⊂
αVH⊂≥W⊂6H∞fλ9λ∧27Xl7_⊂≠
⊗p2[Mr6~-f(9_-f82J%ε(
Y$π00\N7(1≤nF`9]∧ε`4[LVp7H
FH7→.&λ7→lRH⊂λ∧α⊂λ¬↓(2H∞fλ9λ∧2;_."6~-f(7≠dε`4[LW⊂0[Lv(∀JP@4H∞F(9≠.7(1≤nF`9]∧ε`4[LVp7H
FH7→.&λ7→lRH⊂λ∧α⊂
↓εH⊂≥W⊂6H∞fλ9λ∧27Xl7_⊂≠
⊗p2[Mr6~-f(9_-f82J%ε(∧_$ε(<≤∧π 2\MW_:XN7 6≤nB6~-f(9_-f82J$α⊂λ∧α⊂λ¬@0HW@8λ∞fλ9λ∧27Xl7_⊂≠
⊗p2\L⊗p3Y%∩@2BR6~-f(7≠e∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
↓ε(⊂λdε`4[LVp7J%ε(2→,6`⊂→V_6≤nB6~-f(9_-f82J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬ε 2XmB7_-V(⊂≥∂↔2H∧29↑-g <\R9[n' ⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α4[LfH<~-f07H&H7→
⊗p3\
w82\Dελ9\mv_4[Lfx∀JVλ9\mv_⊗YV_6λ∞7H6XMv`⊂≥L↔⊂_H∞fλ9Dπ00\F2⊂λ∧α⊂
↔_9[l2h2→,6`⊂≤o⊗h1≠mBH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α6~-f(9_-f82J%ε(7_-V(9_-f82H⊗`9]¬∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬εp0[,W⊂0[Lv(⊂≠L⊗h2H
FH7→.&λ7→lRH∀→.Fλ:]∧π83→Dε`4[LW⊂0[Lv(_H
FH7→.&λ7→lS⊂∀H∧α⊂λ∧α∀≥↔(:λ∞v03λ∧26~-f(9_-f82L$ε`4[LW⊂0[Lv(→
%ε(2→,6H2→$π83→Dε`4[LW⊂0[Lv(_H
FH7→.&λ7→lS⊂∀H∧α⊂λ¬ε 2Xm⊗ 2H∞v03λ∧26~-f(9_-f82L$ε`4[LW⊂0[Lv(→
%ε(9→.w⊂4]R6~-f(7≠dε`4[LW⊂0[Lv(_H
Vx2→%∩⊂λ∧α⊂λ¬π⊂2]n&H:→$ε`4[LVp7H∧26~-f(9_-f82L$εh7YRH∀→.G⊂6\LW89~.F(⊂≥∞&h⊂≠
⊗p2\L⊗p3Y&∩6[lF(∀H∧α⊂λ∧α∀→.G⊂6\LW89~.F(⊂≥∞&h⊂λdε`4[LW⊂0[Lv(_H
Vx2→%∩@2]↔(:≤m⊗h8λ∞v03λ
FH7→.&λ7→lSλ⊂≠
⊗p2\L⊗p3Y&"H⊂λ∧α@:_.W 9Z-W⊂≥lf0⊂λdε`4[LW⊂0[Lv(_H
FH7→.&λ7→lS⊂∀JV 2Xn6H6\∧π83→Dε`4[LW⊂0[Lv(_H
FH7→.&λ7→lS⊂∀H∧α⊂
F(1\m⊗h8λ∞v03λ∧26~-f(9_-f82L$ε`4[LW⊂0[Lv(→
%ε(1[mVh2[NF`⊂≤nG⊂4[LrH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬ε_7[-V(7≥
B;[n& 6~.7 ∀@wαv}x1πN∂ 5␈␈xx≥`X[{l	Px≥`X[{kq0x
]`X[{kY⊂x
≥`X[{k@px∩]`X[{k(Px≥`X[{k⊂0x⊃=`X[{jx⊂x	]`X[{j←px
]`X[{jGPx
⎇`X[{j/0x
]`X[{j↔⊂xπ⎇`X[{i}pxπ=`X[{ifPx⊃]`X[{iN0xπ=`X[{i6⊂x≥`X[{i≥px⊂≥`X[{i¬Px∩⎇`X[{hm0x∩]`X[{hU⊂x∩=`X[{h<px∪≥`X[{h$Px∂]`X[{h0x∂≥`X[{gt⊂x⊂]`X[{g[px⊃⎇`X[{gCPx∩≥`X[{g+0x∩≥`X[{g∪⊂x∩≥`X[{fzpx∂≥`X[{fbPx∩≥`X[{fJ0x⊂⎇`X[{f2⊂x⊂⎇`X[{f→px⊂⎇`X[{f↓Px∂≥`X[{ei0x∀]`X[{eQ⊂x∪=`X[{e8px⊃⎇`X[{e Px∪=`X[{eλ0x⊃=`X[{dp⊂x∂⎇`X[{dWpx⊃]`X[{d?Px⊗=`X[{d'0x∞⎇`X[{d∂⊂xε]`X[{cvpx⊂]`X[{c↑Px∩]`X[{cF0x∪≥`X[{c.⊂x∩]`X[{c∃px∩⎇`X[{b⎇Px∪]`X[{be0x∪=`X[{bM⊂x∞⎇`X[{b4p ε↔ ↓;80u`∩@X ∞⊂≥Z-g 2\Mfλ6λfx9≠.23≠n":→.&h9H⊗p2λ∞6x6Y$π(9Y,g(6λ
FH9\∧ε0:[L7 4[mg_⊂_-f ⊂≠,⊗_9≠n23≠n":~Vh≥X.Fx6Z,22↑∞π⊂2\n6H7[N20\LR4[NF(9≠L⊗`6≡$π⊂2\∞&(9Y-g 2Y∧ε⊂<H↔ 7[.3X:~
↔_⊂~.20\n7(6Y,B:~∞&x:Ymεx:]∧π 4→$ε_7YSX:~R1_.6H1H
Fx3Z,6λ6λVp:~.GH⊂~.20[Dε(<≤∞&(9\m⊗x7∞mw2\L↔ 7\Dβh⊂∂&H7→
⊗p3H
w2\L↔ 7\Gb>λπFp7[EV⊂4[LFH7→dεx8→.&λ:≠n#p≥XM⊗p2~-f8⊂≠nε(9_.Fx9λπR
λ∂B
H∂B∧λ∂B1[mW⊂∨∧0⊂∨∧αp↔Ebp≥[Mvp⊗XM⊗p2~-f8⊂≠nε(9_.Fx9λπR≡≤∞&H6Z.FH;→$εp7[EV⊂4[LFH7→dεx8→.&λ:≠n#p⊂∨∧β`2↑∞βp≥\∞&H6Z.FH;→$εp7[EV⊂4[LFH7→dεx8→.&λ:≠n"≡H¬2>λ¬R>λ¬bp↔Ebp≥]L↔⊂6~.7 ⊂∂$πX≡≥L↔⊂4X,&`2OOSX2↑∞ε`4\nB≡H∂3`2↑∞π⊂2\n6H7[Ggh≥Y/π9→.7_4[mb≡HπG00\M⊗λ1≠Sp⊂∨∧β`1[mg_:_-g ∨λ∂B≡~Vλ2→.#p↔∂W@8≠
↔_:∂Dπ`⊂∂W@8≠
↔_:∂G6@2X,F(9λπR∀∂&H7→
⊗p3H
w2\L↔ 7\Gbp≡≥L↔⊂6~.7 ∨
'79→,FH1X.F(9H
vp⊂→/π9→.7_4[mg_∀≠,⊗_9≠lF(3λ
↔_⊗X.Fx6Z,2h2↑∞α∀→/π∀H¬ελ:≠mR2↑∞αH∀JF(3≥-b4\eV⊂7]-f ⊗Y/π⊂
W@8
$α⊂λ∧α⊂
⊗p2λ¬εp7]∧α@0]
vh⊂→/π∀J$α@7≠nB∀_.Fx6H¬ε_0\Dε(<≤¬∩H∀H¬εp:[
B∀_lG⊂⊂
6λ9λW@8
%∩H⊂
%∪X9Y-F(1]
w⊂9Hfx9λW@8≤LW_9Z-vp9JF(3≥-b7\¬Vx3λ¬ε(<≤¬∩⊂λ∧α⊂λ¬ε_7[LB∀
↔ 7[$ε(<≤¬∩7~-BH⊂
¬εH9K,&x:[LBh2↑∞α2↑∞αH⊂
6λ0X."2↑∞αH∀H¬π ⊂
6λ9λW@8
%∩∀J%εh0Xn&x2→,b7\W⊂0[LG_⊗[lb∀→/π∀H¬ε_2≤Dε(<≤¬∩H∀→V0:[Dπ_:XLW@8≤eVx3λ¬ε(<≤¬∩∀_mvp2λ¬α@4\eV⊂7]-f ⊗Y/π⊂→/π∀H¬ε_2≤Dε(<≤¬∩H⊂
∞B2↑∞αH⊂
%∩@6X,7⊂7YV0⊂_Mf ;_.'_⊗[lb∀→/π∀H¬ε_2_,↔⊂⊂→/π∀J%εh0Xn&x2→,b6X.G⊂4↑¬Vx3λ¬ε(<≤¬∩∀_l⊗ 9λW@8
%∩@6X,7⊂7YV0⊂_-g 2XlV 2[NBh7YDα@2↑∞αH⊂
6λ2≤Dε(<≤¬∩H∀≠,⊗_9≠lF(3λ6x7≤lWλ:Y-g ⊗[lb∀→/π∀H¬ε_0YG⊂⊂→/π∀J%εh0Xn&x2→,b9~∞2h7YDα@2↑∞αH⊂
6λ2≤Dε(<≤¬∩H∀≠,⊗_9≠lF(3λ
F@9K-v0⊂
W@8
$α@1X,F 9λW@8
%∩@6X,7⊂7YV0⊂≥-fp2Yl↔ 4[mbh7YDα@2↑∞αH⊂
6λ2≤Dε(<≤¬∩H∀≠,⊗_9≠lF(3λ6x7→
↔ 4[mbh7YDα@2↑∞αH⊂
6λ2≤Dε(<≤¬∩H∀≠,⊗_9≠lF(3λf_0\lRh7YDα@2↑∞αH⊂
6λ2→∞"2↑∞αH∀J
Vλ1\Mv 2YDπ_1X.6(⊗[lb∀→/π∀H¬ε_0YF 9λW@8
%∪X1[mg_:≤NV_:≠n'_⊂→Mw⊂⊂→/π9→.7_4[mg_⊂

Vλ1\Mv 2YDεh5K-⊗h8≠
⊗_0]
⊗x7λ¬π@⊂≡%∩∀≠
↔_:λ∧qλ⊂≡∧πH∀J%εh0Xn&x2→,b6ZeV(8]-↔00[Vp1Y$α@<λ∂∩H⊂

FH9]∧α8∂λ∂α<J%∩@6X,7⊂7YV0⊂≠-2h2\.Vλ6λ¬π@⊂≡%∩∀≠
↔_:λ∧sh⊂≡∧πH∀J%εh0Xn&x2→,b6ZeV⊂4[L⊗p2λ¬π@⊂≡%∩∀≠
↔_:λ∧p ⊂≡∧πH∀J%εh0Xn&x2→,b6ZeV_7[M"∀≠∞7 ∀H¬ε_7[N2∪A∧ε`9]¬∩H∀≠,⊗_9≠lF(3λ
VX⊗XM⊗p7\Dα@<λ∂∩H⊂

FH9]∧α8∂H∂α<J%∩@6X,7⊂7YV0⊂≠-2h2~.6P⊂

G_:
$α@1[mg_⊂	cr6≤nBH∀J
Vλ1\Mv 2YDεh5K-f(3X.FH7[Dα@<
$α@6~.7 ⊂	`R<
%∩@6X,7⊂7YV0⊂≠-2h:[M↔0⊂
∞fλ9≠∞7 ⊂→/π∀H¬ε`4\nB∀≠
↔_:λ¬ε_7[N2∪E∧π00\MG_:
%∩2↑∞αH∀J
Vλ1\Mv 2YDεh5K,W@4\nB∀≥L↔⊂6≤nB2↑∞αH⊂

FH9]∧α@6~.7 ⊂
6x7≤dα8
H∞fλ9≠∞7 ∀J$ε(<≤¬∩H∀≠,⊗_9≠lF(3λ
VX⊗[⊗h1→∩∀≥L↔⊂6≤nB2↑∞αH⊂

FH9]∧α@6~.7 ⊂
6x7≤dα8∧λ∞fλ9≠∞7 ∀J$ε(<≤¬∩H∀≠,⊗_9≠lF(3λ
VX⊗X.π6λ¬ε0⊂≠∞7 ∀H¬ε_7[N23λ
G_:
%∩@6X,7⊂7YV0⊂≠-2h1≠nVp2,↔8≠∧α@3λ∞fλ9≠∞7 ⊂→/π∀H¬ε`4\nB∀≠
↔_:λ¬ε_7[N23λ∞fλ9≠∞7 ∀J$ε(<≤¬∩Hwαv}x1πN∂ 5␈␈xx∪≥`X[{l	Px≥`X[{kq0x
⎇`X[{kY⊂x	≥`X[{k@px
]`X[{k(Px≥`X[{k⊂0x
⎇`X[{jx⊂x≥`X[{j←px⊂≥`X[{jGPx≥`X[{j/0x¬⎇`X[{j↔⊂xε=`X[{i}px⊃]`X[{ifPx
≥`X[{iN0x≥`X[{i6⊂xε]`X[{i≥px≥`X[{i¬Px
=`X[{hm0xε=`X[{hU⊂x∪=`X[{h<px≥`X[{h$Pxε]`X[{h0x≥`X[{gt⊂x∧]`X[{g[px∪⎇`X[{gCPx≥`X[{g+0x	]`X[{g∪⊂x⊃⎇`X[{fzpx	⎇`X[{fbPx	=`X[{fJ0x
=`X[{f2⊂x
]`X[{f→pxλ]`X[{f↓Pxλ⎇`X[{ei0x
=`X[{eQ⊂x
≥`X[{e8px	=`X[{e Px	]`X[{eλ0x≥`X[{dp⊂xπ=`X[{dWpx=`X[{d?Px=`X[{d'0x=`X[{d∂⊂x	⎇`X[{cvpx
≥`X[{c↑Px	]`X[{cF0x	⎇`X[{c.⊂x	]`X[{c∃px	]`X[{b⎇Px⊂]`X[{be0x⊂⎇`X[{bM⊂x⊃≥`X[{b4px	⎇`X[{b≤Px∩=`X[{b∧0 β|↓;80u`∩@X ∞P∧⊂∨`T8 Pi∧λα@↓	⊂ ↓ ¬pH↓ αPp↓@↓p↓ `⊂↓8↓ ∧P↓`↓εPα@⊂α⊂↓∧⊂α0↓@⊂α`↓∧0β`	Pβ_↓ ↓pβ@↓ βpβh↓¬0∧λ↓@⊂∧8↓ ↓⊂∧`α↓p¬ ↓ ↓0 ¬H?␈x5`¬`¬¬P J{T⊗8 λ␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x¬⊃)4`⊂λ∧αp(∀J0∧Vdα_K	$h!W 	L&αh_L¬Sλ≤Nεα_M'#≠∞F3@H_H_H_↓HH ¬H ¬H εxH πH πH H